# This image was built using coreboot 4.5-341-g378d79e
CONFIG_CCACHE=y
CONFIG_USE_BLOBS=y
CONFIG_COVERAGE=y
CONFIG_VENDOR_GOOGLE=y
CONFIG_CBFS_SIZE=0x200000
CONFIG_VGA_BIOS_ID="8086,0a06"
CONFIG_VGA_BIOS=y
CONFIG_VGA_BIOS_FILE="pci8086,0a06.rom"
CONFIG_HAVE_IFD_BIN=y
CONFIG_HAVE_ME_BIN=y
CONFIG_BOARD_GOOGLE_PEPPY=y
# CONFIG_DRIVERS_UART_8250IO is not set
CONFIG_NO_POST=y
CONFIG_HAVE_MRC=y
CONFIG_ENABLE_VMX=y
CONFIG_LYNXPOINT_POWER_OPTIMIZER=y
# CONFIG_DRIVERS_INTEL_WIFI is not set
CONFIG_LPC_TPM=y
CONFIG_SEABIOS_MASTER=y
CONFIG_COREINFO_SECONDARY_PAYLOAD=y
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y
CONFIG_MEMTEST_MASTER=y
CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y
CONFIG_TINT_SECONDARY_PAYLOAD=y