| # This image was built using coreboot 4.4-1882-g5b6bdcc |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_GOOGLE=y |
| CONFIG_MAINBOARD_VENDOR="GOOGLE" |
| CONFIG_CBFS_SIZE=0x400000 |
| CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y |
| CONFIG_BOARD_GOOGLE_PEPPY=y |
| CONFIG_SEABIOS_PS2_TIMEOUT=3000 |
| CONFIG_USBDEBUG=y |
| CONFIG_NO_POST=y |
| CONFIG_HAVE_MRC=y |
| # CONFIG_BUILD_WITH_FAKE_IFD is not set |
| CONFIG_ENABLE_VMX=y |
| CONFIG_SUBSYSTEM_VENDOR_ID=0x1025 |
| CONFIG_SUBSYSTEM_DEVICE_ID=0x0a11 |
| CONFIG_SEABIOS_VGA_COREBOOT=y |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |