| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_GOOGLE=y |
| CONFIG_VGA_BIOS_ID="8086,0f31" |
| CONFIG_VGA_BIOS=y |
| CONFIG_VGA_BIOS_FILE="3rdparty/blobs/mainboard/google/rambi/vgabios.bin" |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_HAVE_ME_BIN=y |
| CONFIG_BOARD_GOOGLE_RAMBI=y |
| CONFIG_CHROMEOS=y |
| CONFIG_MRC_FILE="3rdparty/blobs/mrc.elf" |
| CONFIG_RESET_ON_INVALID_RAMSTAGE_CACHE=y |
| CONFIG_HAVE_REFCODE_BLOB=y |
| CONFIG_REFCODE_BLOB_FILE="3rdparty/blobs/efi.elf" |
| # CONFIG_S3_VGA_ROM_RUN is not set |
| CONFIG_CHROMEOS_RAMOOPS_DYNAMIC=y |
| CONFIG_FRAMEBUFFER_SET_VESA_MODE=y |
| CONFIG_ELOG_GSMI=y |
| CONFIG_ELOG_BOOT_COUNT=y |
| CONFIG_ELOG_BOOT_COUNT_CMOS_OFFSET=144 |
| CONFIG_SPI_FLASH_SMM=y |
| # CONFIG_CONSOLE_SERIAL is not set |
| CONFIG_CMOS_POST=y |
| CONFIG_CMOS_POST_OFFSET=0x70 |
| CONFIG_PAYLOAD_NONE=y |