CONFIG_EXPERT=y
CONFIG_ANY_TOOLCHAIN=y
CONFIG_VENDOR_EMULATION=y
CONFIG_BOARD_EMULATION_QEMU_X86_I440FX=y
CONFIG_COREBOOT_ROMSIZE_KB_4096=y
CONFIG_VGA_ROM_RUN=n
CONFIG_ON_DEVICE_ROM_RUN=n

CONFIG_CONSOLE_QEMU_DEBUGCON=y
CONFIG_CONSOLE_CBMEM=y
CONFIG_CONSOLE_SERIAL=n

CONFIG_PAYLOAD_ELF=y
CONFIG_PAYLOAD_FILE="/usr/share/seabios.git-coreboot/bios-coreboot.elf"

CONFIG_VGA_BIOS=y
CONFIG_VGA_BIOS_FILE="/usr/share/seabios.git-coreboot/vgabios-coreboot.bin"
CONFIG_VGA_BIOS_ID="1234,1111"
CONFIG_GENERIC_LINEAR_FRAMEBUFFER=y
CONFIG_FRAMEBUFFER_KEEP_VESA_MODE=y
CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_XRES=1024
CONFIG_DRIVERS_EMULATION_QEMU_BOCHS_YRES=768