| # This image was built using coreboot 4.6-1971-gf1f67c3b75 | |
| CONFIG_VENDOR_LENOVO=y | |
| CONFIG_BOARD_LENOVO_X1_CARBON_GEN1=y | |
| CONFIG_DRIVERS_PS2_KEYBOARD=y | |
| CONFIG_COREBOOT_ROMSIZE_KB_4096=y | |
| CONFIG_SEABIOS_PS2_TIMEOUT=10 | |
| CONFIG_LPC_TPM=y | |
| CONFIG_SEABIOS_MASTER=y |