blob: 0499f1ed0409b02015b1a77cf9845d5fc23b482b [file] [log] [blame]
Vikas Manocha1b51c932016-02-11 15:47:20 -08001CONFIG_ARM=y
2CONFIG_STM32=y
3CONFIG_STM32F7=y
4CONFIG_TARGET_STM32F746_DISCO=y
Masahiro Yamadaa5ed4be2016-12-07 22:10:26 +09005# CONFIG_MMC is not set
Michael Kurzbccef712017-01-22 16:04:23 +01006CONFIG_DEFAULT_DEVICE_TREE="stm32f746-disco"
Heiko Schocher0b368b12016-06-07 08:31:14 +02007CONFIG_BOOTDELAY=3
Lokesh Vutlafbad3702016-10-08 14:41:44 -04008# CONFIG_DISPLAY_CPUINFO is not set
Lokesh Vutla94d95e42016-10-11 21:33:46 -04009# CONFIG_DISPLAY_BOARDINFO is not set
Simon Glass7a99a872017-01-23 13:31:20 -070010CONFIG_BOARD_EARLY_INIT_F=y
Tom Rinif852e732016-04-21 21:37:19 -040011CONFIG_HUSH_PARSER=y
Vikas Manocha1b51c932016-02-11 15:47:20 -080012CONFIG_SYS_PROMPT="U-Boot > "
13CONFIG_AUTOBOOT_KEYED=y
14CONFIG_AUTOBOOT_PROMPT="Hit SPACE in %d seconds to stop autoboot.\n"
15CONFIG_AUTOBOOT_STOP_STR=" "
Tom Rini0f2dcb92016-04-22 16:41:25 -040016# CONFIG_CMD_IMLS is not set
Vikas Manocha1b51c932016-02-11 15:47:20 -080017# CONFIG_CMD_SETEXPR is not set
Tom Rini0f2dcb92016-04-22 16:41:25 -040018CONFIG_CMD_TIMER=y
Michal Simek811382b2016-04-06 20:28:03 +020019CONFIG_OF_LIBFDT=y
20# CONFIG_EFI_LOADER is not set