| # This image was built using coreboot 4.9-6-gb21539d | |
| CONFIG_ANY_TOOLCHAIN=y | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_USE_BLOBS=y | |
| CONFIG_UPDATE_IMAGE=y | |
| CONFIG_VENDOR_LENOVO=y | |
| CONFIG_BOARD_LENOVO_X131E=y | |
| CONFIG_DRIVERS_PS2_KEYBOARD=y | |
| CONFIG_SEABIOS_PS2_TIMEOUT=10 | |
| # CONFIG_INTEL_GMA_ADD_VBT is not set | |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y | |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y | |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y | |
| CONFIG_TINT_SECONDARY_PAYLOAD=y |