| CONFIG_TIMESTAMPS_ON_CONSOLE=y |
| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_GOOGLE=y |
| CONFIG_FMDFILE="src/mainboard/google/zork/chromeos.fmd" |
| # CONFIG_POST_DEVICE is not set |
| CONFIG_BOARD_GOOGLE_TREMBYLE=y |
| CONFIG_CHROMEOS=y |
| CONFIG_HAVE_APCB_BLOB=y |
| CONFIG_ADD_FSP_BINARIES=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_CONSOLE_POST=y |
| # CONFIG_ACPI_BERT is not set |
| # CONFIG_PSP_LOAD_MP2_FW is not set |
| CONFIG_CHROMEOS_RAMOOPS_DYNAMIC=y |
| # CONFIG_FRAMEBUFFER_SET_VESA_MODE is not set |
| CONFIG_ELOG_GSMI=y |
| CONFIG_ELOG_BOOT_COUNT=y |
| CONFIG_ELOG_BOOT_COUNT_CMOS_OFFSET=144 |
| CONFIG_DISPLAY_HOBS=y |
| CONFIG_DISPLAY_UPD_DATA=y |
| CONFIG_DISPLAY_FSP_CALLS_AND_STATUS=y |
| CONFIG_DISPLAY_FSP_HEADER=y |
| CONFIG_GBB_FLAG_DEV_SCREEN_SHORT_DELAY=y |
| CONFIG_GBB_FLAG_FORCE_DEV_SWITCH_ON=y |
| CONFIG_FATAL_ASSERTS=y |
| CONFIG_DEBUG_SMI=y |