# 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