blob: 2fae904589b78b45b0b3dabfe733323cc0f95193 [file] [log] [blame]
Ben Stoltzcd326a32015-08-04 12:33:50 -06001CONFIG_X86=y
2CONFIG_VENDOR_EFI=y
Simon Glass1adafd42015-08-10 07:05:05 -06003CONFIG_DEFAULT_DEVICE_TREE="efi"
Ben Stoltzcd326a32015-08-04 12:33:50 -06004CONFIG_TARGET_EFI=y
Tom Rinifb82fe32017-06-19 09:47:40 -04005CONFIG_DEBUG_UART=y
Simon Glass73223f02016-02-22 22:55:43 -07006CONFIG_FIT=y
Simon Glassef26d602016-10-17 20:12:37 -06007CONFIG_CONSOLE_MUX=y
Simon Glassf3f3eff2016-10-17 20:13:00 -06008CONFIG_SYS_CONSOLE_INFO_QUIET=y
Simon Glassa4211922017-01-23 13:31:19 -07009# CONFIG_ARCH_EARLY_INIT_R is not set
Simon Glassa5d67542017-01-23 13:31:20 -070010# CONFIG_BOARD_EARLY_INIT_F is not set
Tom Riniadad96e2016-04-21 21:37:19 -040011CONFIG_HUSH_PARSER=y
Simon Glass1adafd42015-08-10 07:05:05 -060012# CONFIG_CMD_BOOTM is not set
Bin Menge1d1b622016-02-02 05:58:03 -080013# CONFIG_CMD_IMLS is not set
Patrick Delaunayb331cd62017-01-27 11:00:42 +010014CONFIG_CMD_PART=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040015CONFIG_CMD_SF=y
16CONFIG_CMD_SPI=y
17CONFIG_CMD_USB=y
Thomas Choue4aa8ed2015-11-11 21:39:33 +080018CONFIG_CMD_GPIO=y
Simon Glass1adafd42015-08-10 07:05:05 -060019# CONFIG_CMD_NET is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040020CONFIG_CMD_DHCP=y
21CONFIG_CMD_PING=y
Chris Packhamc9032ce2017-04-29 15:20:28 +120022CONFIG_CMD_DATE=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040023CONFIG_CMD_TIME=y
Tom Rini89cb2b52016-04-24 17:29:26 -040024CONFIG_CMD_EXT2=y
25CONFIG_CMD_EXT4=y
26CONFIG_CMD_EXT4_WRITE=y
27CONFIG_CMD_FAT=y
28CONFIG_CMD_FS_GENERIC=y
Patrick Delaunayf18fa312017-01-27 11:00:36 +010029CONFIG_MAC_PARTITION=y
Patrick Delaunay1acc0082017-01-27 11:00:38 +010030CONFIG_ISO_PARTITION=y
Patrick Delaunaybd42a942017-01-27 11:00:41 +010031CONFIG_EFI_PARTITION=y
Ben Stoltzcd326a32015-08-04 12:33:50 -060032CONFIG_OF_CONTROL=y
33CONFIG_OF_EMBED=y
34CONFIG_DM_PCI=y
Ben Stoltzcd326a32015-08-04 12:33:50 -060035CONFIG_DEBUG_EFI_CONSOLE=y
36CONFIG_DEBUG_UART_BASE=0
37CONFIG_DEBUG_UART_CLOCK=0
Bin Menge5d5d442015-11-25 05:34:53 -080038CONFIG_ICH_SPI=y
Bin Meng80af3982015-11-13 00:11:22 -080039CONFIG_TIMER=y
Tom Rini645176d2016-09-08 16:31:26 -040040CONFIG_USB=y
41CONFIG_USB_STORAGE=y
Simon Glass4ef6ece2016-10-17 20:13:01 -060042CONFIG_USB_KEYBOARD=y
Simon Glass1adafd42015-08-10 07:05:05 -060043CONFIG_EFI=y
Simon Glass58ad8622016-11-07 08:47:16 -070044# CONFIG_EFI_LOADER is not set