| # This image was built using coreboot 4.7-988-ge93634caa0 | |
| CONFIG_ANY_TOOLCHAIN=y | |
| CONFIG_CCACHE=y | |
| CONFIG_USE_OPTION_TABLE=y | |
| CONFIG_VENDOR_ASUS=y | |
| CONFIG_CBFS_SIZE=0x200000 | |
| # CONFIG_ONBOARD_VGA_IS_PRIMARY is not set | |
| CONFIG_BOARD_ASUS_KGPE_D16=y | |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y | |
| # CONFIG_DRIVERS_INTEL_WIFI is not set | |
| CONFIG_LPC_TPM=y | |
| # CONFIG_CONSOLE_SERIAL is not set | |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_2=y | |
| CONFIG_POST_DEVICE_PCI_PCIE=y | |
| CONFIG_SEABIOS_MASTER=y | |
| CONFIG_SEABIOS_THREAD_OPTIONROMS=y |