blob: 943ef07638ab2b5c03fc7cfe609858fb986abc78 [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 Glass1adafd42015-08-10 07:05:05 -06005# CONFIG_CMD_BOOTM is not set
Thomas Choue4aa8ed2015-11-11 21:39:33 +08006CONFIG_CMD_GPIO=y
Simon Glass1adafd42015-08-10 07:05:05 -06007# CONFIG_CMD_NET is not set
Ben Stoltzcd326a32015-08-04 12:33:50 -06008CONFIG_OF_CONTROL=y
9CONFIG_OF_EMBED=y
10CONFIG_DM_PCI=y
Ben Stoltzcd326a32015-08-04 12:33:50 -060011CONFIG_DEBUG_UART=y
12CONFIG_DEBUG_EFI_CONSOLE=y
13CONFIG_DEBUG_UART_BASE=0
14CONFIG_DEBUG_UART_CLOCK=0
Bin Menge5d5d442015-11-25 05:34:53 -080015CONFIG_ICH_SPI=y
Bin Meng80af3982015-11-13 00:11:22 -080016# CONFIG_X86_SERIAL is not set
17CONFIG_TIMER=y
Simon Glass1adafd42015-08-10 07:05:05 -060018CONFIG_EFI=y