3 CONFIG_SYS_TEXT_BASE=0x08000000
4 CONFIG_SYS_MALLOC_F_LEN=0xF00
7 CONFIG_TARGET_STM32F429_DISCOVERY=y
8 CONFIG_ENV_VARS_UBOOT_CONFIG=y
11 CONFIG_BOOTARGS="console=ttyS0,115200 earlyprintk consoleblank=0 ignore_loglevel"
13 # CONFIG_DISPLAY_CPUINFO is not set
14 # CONFIG_DISPLAY_BOARDINFO is not set
15 CONFIG_BOARD_EARLY_INIT_F=y
17 CONFIG_SYS_PROMPT="U-Boot > "
19 # CONFIG_CMD_SETEXPR is not set
22 CONFIG_DEFAULT_DEVICE_TREE="stm32f429-disco"
23 CONFIG_ENV_IS_IN_FLASH=y
24 # CONFIG_MMC is not set
25 CONFIG_MTD_NOR_FLASH=y