blob: 2daab36b3b4853795e7ee4c4831f0076b8fe1032 [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
5CONFIG_TSC_CALIBRATION_BYPASS=y
Simon Glass1adafd42015-08-10 07:05:05 -06006# CONFIG_CMD_BOOTM is not set
Thomas Choue4aa8ed2015-11-11 21:39:33 +08007CONFIG_CMD_GPIO=y
Simon Glass1adafd42015-08-10 07:05:05 -06008# CONFIG_CMD_NET is not set
Ben Stoltzcd326a32015-08-04 12:33:50 -06009CONFIG_OF_CONTROL=y
10CONFIG_OF_EMBED=y
11CONFIG_DM_PCI=y
Ben Stoltzcd326a32015-08-04 12:33:50 -060012CONFIG_DEBUG_UART=y
13CONFIG_DEBUG_EFI_CONSOLE=y
14CONFIG_DEBUG_UART_BASE=0
15CONFIG_DEBUG_UART_CLOCK=0
Bin Menge5d5d442015-11-25 05:34:53 -080016CONFIG_ICH_SPI=y
Simon Glass1adafd42015-08-10 07:05:05 -060017CONFIG_EFI=y