| # This image was built using coreboot 4.12-3954-gd00af4fbac-dirty |
| CONFIG_CCACHE=y |
| CONFIG_USE_OPTION_TABLE=y |
| CONFIG_VENDOR_LENOVO=y |
| CONFIG_CBFS_SIZE=0x600000 |
| # CONFIG_POST_IO is not set |
| # CONFIG_POST_DEVICE is not set |
| CONFIG_HAVE_IFD_BIN=y |
| CONFIG_BOARD_LENOVO_THINKPAD_T430=y |
| CONFIG_PCIEXP_L1_SUB_STATE=y |
| CONFIG_PCIEXP_CLK_PM=y |
| CONFIG_VALIDATE_INTEL_DESCRIPTOR=y |
| CONFIG_H8_SUPPORT_BT_ON_WIFI=y |
| CONFIG_HAVE_ME_BIN=y |
| CONFIG_CHECK_ME=y |
| CONFIG_USE_ME_CLEANER=y |
| CONFIG_HAVE_GBE_BIN=y |
| CONFIG_PCIEXP_HOTPLUG=y |
| CONFIG_PAYLOAD_TIANOCORE=y |