1 #include <configs/stm32mp_dhsom.config>
6 CONFIG_SYS_MALLOC_F_LEN=0x1c0000
7 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0xc0400000
8 CONFIG_ENV_OFFSET=0x3E0000
9 CONFIG_DEFAULT_DEVICE_TREE="st/stm32mp135f-dhcor-dhsbc"
11 CONFIG_DDR_CACHEABLE_SIZE=0x8000000
12 CONFIG_TARGET_ST_STM32MP13X=y
13 CONFIG_ENV_OFFSET_REDUND=0x3F0000
14 CONFIG_STM32MP15_PWR=y
15 # CONFIG_ARMV7_NONSEC is not set
16 CONFIG_SYS_MEMTEST_START=0xc0000000
17 CONFIG_SYS_MEMTEST_END=0xc4000000
18 CONFIG_BOOTSTAGE_RECORD_COUNT=100
20 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
25 CONFIG_CMD_SETEXPR_FMT=y
30 CONFIG_ENV_IS_NOWHERE=y
31 CONFIG_ENV_SPI_MAX_HZ=50000000
33 CONFIG_SET_DFU_ALT_INFO=y
34 CONFIG_SYS_I2C_EEPROM_ADDR=0x50
36 CONFIG_DM_REGULATOR_SCMI=y
40 CONFIG_SYSRESET_PSCI=y
43 # CONFIG_OPTEE_TA_AVB is not set
44 CONFIG_USB_ONBOARD_HUB=y
45 CONFIG_USB_HUB_DEBOUNCE_TIMEOUT=2000