blob: fb5203ec171391ed8c700e78917abe052b662a44 [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
Simon Glass73223f02016-02-22 22:55:43 -07005CONFIG_FIT=y
Simon Glassef26d602016-10-17 20:12:37 -06006CONFIG_CONSOLE_MUX=y
Simon Glassf3f3eff2016-10-17 20:13:00 -06007CONFIG_SYS_CONSOLE_INFO_QUIET=y
Simon Glassa4211922017-01-23 13:31:19 -07008# CONFIG_ARCH_EARLY_INIT_R is not set
Simon Glassa5d67542017-01-23 13:31:20 -07009# CONFIG_BOARD_EARLY_INIT_F is not set
Tom Riniadad96e2016-04-21 21:37:19 -040010CONFIG_HUSH_PARSER=y
Simon Glass1adafd42015-08-10 07:05:05 -060011# CONFIG_CMD_BOOTM is not set
Bin Menge1d1b622016-02-02 05:58:03 -080012# CONFIG_CMD_IMLS is not set
Patrick Delaunayb331cd62017-01-27 11:00:42 +010013CONFIG_CMD_PART=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040014CONFIG_CMD_SF=y
15CONFIG_CMD_SPI=y
16CONFIG_CMD_USB=y
Thomas Choue4aa8ed2015-11-11 21:39:33 +080017CONFIG_CMD_GPIO=y
Simon Glass1adafd42015-08-10 07:05:05 -060018# CONFIG_CMD_NET is not set
Tom Rini78d1e1d2016-04-22 16:41:25 -040019CONFIG_CMD_DHCP=y
20CONFIG_CMD_PING=y
Chris Packhamc9032ce2017-04-29 15:20:28 +120021CONFIG_CMD_DATE=y
Tom Rini78d1e1d2016-04-22 16:41:25 -040022CONFIG_CMD_TIME=y
Tom Rini89cb2b52016-04-24 17:29:26 -040023CONFIG_CMD_EXT2=y
24CONFIG_CMD_EXT4=y
25CONFIG_CMD_EXT4_WRITE=y
26CONFIG_CMD_FAT=y
27CONFIG_CMD_FS_GENERIC=y
Patrick Delaunayf18fa312017-01-27 11:00:36 +010028CONFIG_MAC_PARTITION=y
Patrick Delaunay1acc0082017-01-27 11:00:38 +010029CONFIG_ISO_PARTITION=y
Patrick Delaunaybd42a942017-01-27 11:00:41 +010030CONFIG_EFI_PARTITION=y
Ben Stoltzcd326a32015-08-04 12:33:50 -060031CONFIG_OF_CONTROL=y
32CONFIG_OF_EMBED=y
33CONFIG_DM_PCI=y
Ben Stoltzcd326a32015-08-04 12:33:50 -060034CONFIG_DEBUG_UART=y
35CONFIG_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