| # This image was built using coreboot 4.11-1542-g8fb7cd4123 | |
| CONFIG_VENDOR_LIBRETREND=y | |
| CONFIG_POWER_STATE_OFF_AFTER_FAILURE=y | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
| CONFIG_USER_TPM2=y | |
| CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y | |
| CONFIG_PXE=y | |
| CONFIG_BUILD_IPXE=y | |
| # CONFIG_PXE_SERIAL_CONSOLE is not set |