# This image was built using coreboot 4.9-1870-gd44d4f0f4e | |
# CONFIG_COLLECT_TIMESTAMPS is not set | |
CONFIG_VENDOR_PCENGINES=y | |
CONFIG_BOARD_PCENGINES_APU2=y | |
CONFIG_PXE_ROM_ID="8086,157b" | |
CONFIG_NO_GFX_INIT=y | |
CONFIG_USER_TPM2=y | |
CONFIG_PXE=y | |
CONFIG_BUILD_IPXE=y | |
# CONFIG_PXE_SERIAL_CONSOLE is not set | |
CONFIG_MEMTEST_SECONDARY_PAYLOAD=y |