blob: 6d71d0a475a77fcc4641499432130c166f02765a [file] [log] [blame]
Vikas Manochae66c49f2016-02-11 15:47:20 -08001CONFIG_ARM=y
2CONFIG_STM32=y
3CONFIG_STM32F7=y
4CONFIG_TARGET_STM32F746_DISCO=y
Heiko Schocherbb597c02016-06-07 08:31:14 +02005CONFIG_BOOTDELAY=3
Lokesh Vutla19a97472016-10-08 14:41:44 -04006# CONFIG_DISPLAY_CPUINFO is not set
Lokesh Vutla84351792016-10-11 21:33:46 -04007# CONFIG_DISPLAY_BOARDINFO is not set
Tom Riniadad96e2016-04-21 21:37:19 -04008CONFIG_HUSH_PARSER=y
Vikas Manochae66c49f2016-02-11 15:47:20 -08009CONFIG_SYS_PROMPT="U-Boot > "
10CONFIG_AUTOBOOT_KEYED=y
11CONFIG_AUTOBOOT_PROMPT="Hit SPACE in %d seconds to stop autoboot.\n"
12CONFIG_AUTOBOOT_STOP_STR=" "
Tom Rini78d1e1d2016-04-22 16:41:25 -040013# CONFIG_CMD_IMLS is not set
Vikas Manochae66c49f2016-02-11 15:47:20 -080014# CONFIG_CMD_SETEXPR is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040015CONFIG_CMD_TIMER=y
Michal Simek53753892016-04-06 20:28:03 +020016CONFIG_OF_LIBFDT=y
17# CONFIG_EFI_LOADER is not set