| # This image was built using coreboot 4.11-1594-g6daa8c3ba5-dirty | |
| CONFIG_CCACHE=y | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y | |
| CONFIG_VENDOR_LENOVO=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_BOARD_LENOVO_THINKPAD_T440P=y | |
| CONFIG_PCIEXP_L1_SUB_STATE=y | |
| CONFIG_NO_POST=y | |
| CONFIG_HAVE_MRC=y | |
| CONFIG_MRC_FILE="haswell-mrc.bin" | |
| CONFIG_PCIEXP_CLK_PM=y | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
| CONFIG_USBDEBUG=y | |
| CONFIG_USBDEBUG_DONGLE_FTDI_FT232H=y |