| # This image was built using coreboot 4.7-624-g03c7b05a5a-dirty |
| CONFIG_CCACHE=y |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_CBFS_SIZE=0x300000 |
| CONFIG_ONBOARD_VGA_IS_PRIMARY=y |
| CONFIG_VGA_BIOS=y |
| CONFIG_VGA_BIOS_FILE="vbios1.bin" |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_HAVE_ME_BIN=y |
| CONFIG_HAVE_GBE_BIN=y |
| CONFIG_ME_BIN_PATH="3rdparty/blobs/mainboard/$(MAINBOARDDIR)/intel_me.bin" |
| CONFIG_BOARD_LENOVO_THINKPAD_T430=y |
| CONFIG_PCIEXP_L1_SUB_STATE=y |
| # CONFIG_S3_VGA_ROM_RUN is not set |
| CONFIG_PCIEXP_CLK_PM=y |
| CONFIG_CHECK_ME=y |
| CONFIG_USE_ME_CLEANER=y |
| CONFIG_BOOTBLOCK_NORMAL=y |
| CONFIG_VGA_ROM_RUN=y |
| CONFIG_LPC_TPM=y |
| CONFIG_PXE=y |
| CONFIG_BUILD_IPXE=y |
| CONFIG_PXE_ROM_ID="8086,1502" |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |
| CONFIG_TINT_SECONDARY_PAYLOAD=y |