1 CONFIG_ARM=y 2 CONFIG_STM32=y 3 CONFIG_SYS_TEXT_BASE=0x08000000 4 CONFIG_SYS_MALLOC_F_LEN=0xF00 5 CONFIG_STM32F4=y 6 CONFIG_TARGET_STM32F429_DISCOVERY=y 7 CONFIG_DEFAULT_DEVICE_TREE="stm32f429-disco" 8 CONFIG_ENV_VARS_UBOOT_CONFIG=y 9 CONFIG_BOOTDELAY=3 10 CONFIG_USE_BOOTARGS=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 15 CONFIG_HUSH_PARSER=y 16 CONFIG_SYS_PROMPT="U-Boot > " 17 # CONFIG_CMD_BOOTEFI_HELLO_COMPILE is not set 18 CONFIG_CMD_IMLS=y 19 # CONFIG_CMD_SETEXPR is not set 20 CONFIG_CMD_TIMER=y 21 CONFIG_OF_CONTROL=y 22 CONFIG_OF_EMBED=y 23 CONFIG_ENV_IS_IN_FLASH=y 24 # CONFIG_MMC is not set 25 CONFIG_MTD_NOR_FLASH=y 26