| # This image was built using coreboot 4.5-1564-g6fa36c9c2c-dirty |
| CONFIG_CCACHE=y |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_STATIC_OPTION_TABLE=y |
| CONFIG_COLLECT_TIMESTAMPS=y |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_CBFS_SIZE=0x7FD000 |
| # CONFIG_ONBOARD_VGA_IS_PRIMARY is not set |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_MAINBOARD_DO_NATIVE_VGA_INIT=y |
| CONFIG_HAVE_GBE_BIN=y |
| CONFIG_BOARD_LENOVO_T400=y |
| CONFIG_CPU_MICROCODE_CBFS_NONE=y |
| CONFIG_FRAMEBUFFER_KEEP_VESA_MODE=y |
| CONFIG_DRIVER_I2C_TPM_ACPI=y |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| # CONFIG_CONSOLE_SERIAL is not set |
| CONFIG_SEABIOS_DEBUG_LEVEL=8 |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |
| CONFIG_TINT_SECONDARY_PAYLOAD=y |
| CONFIG_DEBUG_CBFS=y |
| CONFIG_DEBUG_RAM_SETUP=y |
| CONFIG_DEBUG_SMI=y |
| CONFIG_DEBUG_MALLOC=y |
| CONFIG_DEBUG_ACPI=y |