1cd326a32SBen StoltzCONFIG_X86=y 2cd326a32SBen StoltzCONFIG_VENDOR_EFI=y 31adafd40SSimon GlassCONFIG_DEFAULT_DEVICE_TREE="efi" 4cd326a32SBen StoltzCONFIG_TARGET_EFI=y 5cd326a32SBen StoltzCONFIG_TSC_CALIBRATION_BYPASS=y 61adafd40SSimon Glass# CONFIG_CMD_BOOTM is not set 7*e4aa8edbSThomas ChouCONFIG_CMD_GPIO=y 81adafd40SSimon Glass# CONFIG_CMD_NET is not set 9cd326a32SBen StoltzCONFIG_OF_CONTROL=y 10cd326a32SBen StoltzCONFIG_OF_EMBED=y 11cd326a32SBen StoltzCONFIG_DM_PCI=y 12cd326a32SBen StoltzCONFIG_DEBUG_UART=y 13cd326a32SBen StoltzCONFIG_DEBUG_EFI_CONSOLE=y 14cd326a32SBen StoltzCONFIG_DEBUG_UART_BASE=0 15cd326a32SBen StoltzCONFIG_DEBUG_UART_CLOCK=0 161adafd40SSimon Glass# CONFIG_X86_SERIAL is not set 171adafd40SSimon GlassCONFIG_EFI=y 18