# This image was built using coreboot 4.14-876-gdb28040ee1 | |
CONFIG_ANY_TOOLCHAIN=y | |
CONFIG_TIMESTAMPS_ON_CONSOLE=y | |
CONFIG_NO_POST=y | |
# CONFIG_CONSOLE_SERIAL is not set | |
CONFIG_COREBOOT_ROMSIZE_KB_512=y | |
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y | |
# CONFIG_CONSOLE_QEMU_DEBUGCON is not set | |
CONFIG_SEABIOS_MASTER=y |