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