| # This image was built using coreboot 4.5-1441-g1e0543541e-dirty |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_COLLECT_TIMESTAMPS=y |
| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_GOOGLE=y |
| CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y |
| CONFIG_BOARD_GOOGLE_PEPPY=y |
| # CONFIG_DRIVERS_UART_8250IO is not set |
| CONFIG_HAVE_MRC=y |
| # CONFIG_BUILD_WITH_FAKE_IFD is not set |
| CONFIG_SEABIOS_PS2_TIMEOUT=3000 |
| CONFIG_MAINBOARD_USE_LIBGFXINIT=y |
| CONFIG_FRAMEBUFFER_KEEP_VESA_MODE=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |