blob: 0499f1ed0409b02015b1a77cf9845d5fc23b482b [file] [log] [blame]
Vikas Manochae66c49f2016-02-11 15:47:20 -08001CONFIG_ARM=y
2CONFIG_STM32=y
3CONFIG_STM32F7=y
4CONFIG_TARGET_STM32F746_DISCO=y
Masahiro Yamadac2726992016-12-07 22:10:26 +09005# CONFIG_MMC is not set
Michael Kurzb1a8de72017-01-22 16:04:23 +01006CONFIG_DEFAULT_DEVICE_TREE="stm32f746-disco"
Heiko Schocherbb597c02016-06-07 08:31:14 +02007CONFIG_BOOTDELAY=3
Lokesh Vutla19a97472016-10-08 14:41:44 -04008# CONFIG_DISPLAY_CPUINFO is not set
Lokesh Vutla84351792016-10-11 21:33:46 -04009# CONFIG_DISPLAY_BOARDINFO is not set
Simon Glassa5d67542017-01-23 13:31:20 -070010CONFIG_BOARD_EARLY_INIT_F=y
Tom Riniadad96e2016-04-21 21:37:19 -040011CONFIG_HUSH_PARSER=y
Vikas Manochae66c49f2016-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 Rini78d1e1d2016-04-22 16:41:25 -040016# CONFIG_CMD_IMLS is not set
Vikas Manochae66c49f2016-02-11 15:47:20 -080017# CONFIG_CMD_SETEXPR is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040018CONFIG_CMD_TIMER=y
Michal Simek53753892016-04-06 20:28:03 +020019CONFIG_OF_LIBFDT=y
20# CONFIG_EFI_LOADER is not set