# 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 |