| # This image was built using coreboot 4.10-ae317695e3f03d55fbba1805ff06e004383e67c8 |
| CONFIG_USE_OPTION_TABLE=y |
| # CONFIG_COMPRESS_RAMSTAGE is not set |
| CONFIG_TIMESTAMPS_ON_CONSOLE=y |
| CONFIG_USE_BLOBS=y |
| CONFIG_VENDOR_ASUS=y |
| CONFIG_UART_FOR_CONSOLE=1 |
| # CONFIG_ONBOARD_VGA_IS_PRIMARY is not set |
| CONFIG_BOARD_ASUS_KGPE_D16=y |
| # CONFIG_POST_IO is not set |
| # CONFIG_POST_DEVICE is not set |
| # CONFIG_DRIVERS_INTEL_WIFI is not set |
| CONFIG_CONSOLE_POST=y |
| CONFIG_COREBOOT_ROMSIZE_KB_16384=y |
| CONFIG_BOOTBLOCK_NORMAL=y |
| CONFIG_USER_TPM2=y |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_0=y |
| # CONFIG_SEABIOS_VGA_COREBOOT is not set |
| CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y |
| CONFIG_SEABIOS_DEBUG_LEVEL=0 |
| CONFIG_COMPRESSED_PAYLOAD_LZ4=y |
| # CONFIG_COMPRESS_SECONDARY_PAYLOAD is not set |
| CONFIG_COREINFO_SECONDARY_PAYLOAD=y |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |
| CONFIG_NVRAMCUI_SECONDARY_PAYLOAD=y |
| CONFIG_TINT_SECONDARY_PAYLOAD=y |