| CONFIG_TEXT_BASE=0x08000000 |
| CONFIG_SYS_MALLOC_LEN=0x0200000 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x10010000 |
| CONFIG_ENV_SECT_SIZE=0x20000 |
| CONFIG_DEFAULT_DEVICE_TREE="stm32f429-disco" |
| CONFIG_TARGET_STM32F429_DISCOVERY=y |
| CONFIG_SYS_LOAD_ADDR=0x90400000 |
| CONFIG_ENV_ADDR=0x8040000 |
| CONFIG_ENV_VARS_UBOOT_CONFIG=y |
| CONFIG_BOOTARGS="console=ttyS0,115200 earlyprintk consoleblank=0 ignore_loglevel" |
| # CONFIG_DISPLAY_CPUINFO is not set |
| # CONFIG_DISPLAY_BOARDINFO is not set |
| CONFIG_SYS_PROMPT="U-Boot > " |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_SYS_MAX_FLASH_SECT=12 |
| CONFIG_SYS_MAX_FLASH_BANKS=2 |