| # This image was built using coreboot 4.9-1151-g78134b0ccd | |
| CONFIG_VENDOR_PCENGINES=y | |
| CONFIG_NO_GFX_INIT=y | |
| CONFIG_USER_TPM2=y | |
| CONFIG_DEFAULT_CONSOLE_LOGLEVEL_8=y | |
| CONFIG_PXE=y | |
| CONFIG_BUILD_IPXE=y | |
| # CONFIG_PXE_SERIAL_CONSOLE is not set | |
| CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |