| # This image was built using coreboot 4.6-906-gc81800a-dirty |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_COLLECT_TIMESTAMPS=y |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_HAVE_ME_BIN=y |
| CONFIG_IFD_BIN_PATH="3rdparty/flashregion_0_flashdescriptor.bin" |
| CONFIG_ME_BIN_PATH="3rdparty/flashregion_2_intel_me.bin" |
| CONFIG_HAVE_GBE_BIN=y |
| CONFIG_BOARD_LENOVO_THINKPAD_T430=y |
| CONFIG_PCIEXP_L1_SUB_STATE=y |
| CONFIG_NO_POST=y |
| CONFIG_PCIEXP_CLK_PM=y |
| CONFIG_CHECK_ME=y |
| CONFIG_GBE_BIN_PATH="3rdparty/flashregion_3_gbe.bin" |
| CONFIG_BOOTBLOCK_NORMAL=y |
| CONFIG_SKIP_MAX_REBOOT_CNT_CLEAR=y |
| CONFIG_LPC_TPM=y |
| CONFIG_CONSOLE_CBMEM_BUFFER_SIZE=0x40000 |
| CONFIG_SEABIOS_MASTER=y |
| CONFIG_SEABIOS_DEBUG_LEVEL=3 |
| CONFIG_DEBUG_ADA_CODE=y |