| # This image was built using coreboot 4.14-875-gf702705c04 | |
| CONFIG_ANY_TOOLCHAIN=y | |
| CONFIG_NO_POST=y | |
| # CONFIG_CONSOLE_SERIAL is not set | |
| CONFIG_COREBOOT_ROMSIZE_KB_512=y | |
| CONFIG_USE_EXP_X86_64_SUPPORT=y | |
| CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
| # CONFIG_CONSOLE_QEMU_DEBUGCON is not set | |
| CONFIG_SEABIOS_MASTER=y |