blob: fb5203ec171391ed8c700e78917abe052b662a44 [file] [log] [blame]
Ben Stoltzb7d47db2015-08-04 12:33:50 -06001CONFIG_X86=y
2CONFIG_VENDOR_EFI=y
Simon Glass87d7bf12015-08-10 07:05:05 -06003CONFIG_DEFAULT_DEVICE_TREE="efi"
Ben Stoltzb7d47db2015-08-04 12:33:50 -06004CONFIG_TARGET_EFI=y
Simon Glasse3ee2fb2016-02-22 22:55:43 -07005CONFIG_FIT=y
Simon Glass9fd2a022016-10-17 20:12:37 -06006CONFIG_CONSOLE_MUX=y
Simon Glassbd5618d2016-10-17 20:13:00 -06007CONFIG_SYS_CONSOLE_INFO_QUIET=y
Simon Glass62adede2017-01-23 13:31:19 -07008# CONFIG_ARCH_EARLY_INIT_R is not set
Simon Glass7a99a872017-01-23 13:31:20 -07009# CONFIG_BOARD_EARLY_INIT_F is not set
Tom Rinif852e732016-04-21 21:37:19 -040010CONFIG_HUSH_PARSER=y
Simon Glass87d7bf12015-08-10 07:05:05 -060011# CONFIG_CMD_BOOTM is not set
Bin Meng27e973b2016-02-02 05:58:03 -080012# CONFIG_CMD_IMLS is not set
Patrick Delaunay73287092017-01-27 11:00:42 +010013CONFIG_CMD_PART=y
Tom Rini0f2dcb92016-04-22 16:41:25 -040014CONFIG_CMD_SF=y
15CONFIG_CMD_SPI=y
16CONFIG_CMD_USB=y
Thomas Chou3a077cd2015-11-11 21:39:33 +080017CONFIG_CMD_GPIO=y
Simon Glass87d7bf12015-08-10 07:05:05 -060018# CONFIG_CMD_NET is not set
Tom Rini0f2dcb92016-04-22 16:41:25 -040019CONFIG_CMD_DHCP=y
20CONFIG_CMD_PING=y
Chris Packham3e257df2017-04-29 15:20:28 +120021CONFIG_CMD_DATE=y
Tom Rini0f2dcb92016-04-22 16:41:25 -040022CONFIG_CMD_TIME=y
Tom Rini1d9ac832016-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 Delaunayc4bbbec2017-01-27 11:00:36 +010028CONFIG_MAC_PARTITION=y
Patrick Delaunay21d3bce2017-01-27 11:00:38 +010029CONFIG_ISO_PARTITION=y
Patrick Delaunay8a4f2bd2017-01-27 11:00:41 +010030CONFIG_EFI_PARTITION=y
Ben Stoltzb7d47db2015-08-04 12:33:50 -060031CONFIG_OF_CONTROL=y
32CONFIG_OF_EMBED=y
33CONFIG_DM_PCI=y
Ben Stoltzb7d47db2015-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 Meng72a049d2015-11-25 05:34:53 -080038CONFIG_ICH_SPI=y
Bin Meng38de0202015-11-13 00:11:22 -080039CONFIG_TIMER=y
Tom Rini6e9cb112016-09-08 16:31:26 -040040CONFIG_USB=y
41CONFIG_USB_STORAGE=y
Simon Glass049f06a2016-10-17 20:13:01 -060042CONFIG_USB_KEYBOARD=y
Simon Glass87d7bf12015-08-10 07:05:05 -060043CONFIG_EFI=y
Simon Glassd881f5f2016-11-07 08:47:16 -070044# CONFIG_EFI_LOADER is not set