| # 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 |