blob: 9fbd7eb1575517c3b35134ba90107a4f9064c7b4 [file] [log] [blame]
Patrice Chotard01a70192023-10-27 16:43:04 +02001CONFIG_ARM=y
2CONFIG_ARCH_STM32MP=y
3CONFIG_SYS_MALLOC_F_LEN=0x400000
4CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x90000000
5CONFIG_DEFAULT_DEVICE_TREE="stm32mp257f-ev1"
6CONFIG_STM32MP25X=y
7CONFIG_DDR_CACHEABLE_SIZE=0x10000000
8CONFIG_TARGET_ST_STM32MP25X=y
9CONFIG_SYS_LOAD_ADDR=0x84000000
10CONFIG_SYS_MEMTEST_START=0x84000000
11CONFIG_SYS_MEMTEST_END=0x88000000
12CONFIG_FIT=y
13CONFIG_SYS_BOOTM_LEN=0x2000000
14CONFIG_BOOTDELAY=1
15CONFIG_LAST_STAGE_INIT=y
16CONFIG_SYS_PROMPT="STM32MP> "
17# CONFIG_CMD_BDI is not set
18CONFIG_CMD_BOOTZ=y
19CONFIG_CMD_ADTIMG=y
20# CONFIG_CMD_ELF is not set
21CONFIG_CMD_MEMINFO=y
22CONFIG_CMD_MEMTEST=y
23CONFIG_CMD_CLK=y
Patrick Delaunayc20e0fc2024-01-15 15:05:48 +010024CONFIG_CMD_FUSE=y
Patrice Chotard01a70192023-10-27 16:43:04 +020025CONFIG_CMD_GPIO=y
26# CONFIG_CMD_LOADB is not set
Patrice Chotard01a70192023-10-27 16:43:04 +020027CONFIG_CMD_CACHE=y
28CONFIG_CMD_TIME=y
29CONFIG_CMD_RNG=y
30CONFIG_CMD_TIMER=y
31CONFIG_CMD_REGULATOR=y
32CONFIG_CMD_LOG=y
33CONFIG_OF_LIVE=y
Tom Rini6df4e7b2023-11-17 10:47:57 -050034# CONFIG_NET is not set
Patrice Chotard01a70192023-10-27 16:43:04 +020035CONFIG_GPIO_HOG=y
36CONFIG_DM_I2C=y
37CONFIG_SYS_I2C_STM32F7=y
38# CONFIG_MMC is not set
39CONFIG_PINCONF=y
40CONFIG_DM_REGULATOR_FIXED=y
41CONFIG_DM_REGULATOR_GPIO=y
42CONFIG_RAM=y
43# CONFIG_STM32MP1_DDR is not set
44CONFIG_DM_RNG=y
45CONFIG_SERIAL_RX_BUFFER=y
46# CONFIG_OPTEE_TA_AVB is not set
47CONFIG_WDT=y
48CONFIG_WDT_STM32MP=y
49CONFIG_WDT_ARM_SMC=y
50CONFIG_ERRNO_STR=y
51# CONFIG_LMB_USE_MAX_REGIONS is not set
52CONFIG_LMB_MEMORY_REGIONS=2
53CONFIG_LMB_RESERVED_REGIONS=32