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