CONFIG_EXPERT=y
CONFIG_VENDOR_EMULATION=y
CONFIG_BOARD_EMULATION_QEMU_X86_I440FX=y
CONFIG_COREBOOT_ROMSIZE_KB_2048=y
CONFIG_PAYLOAD_TIANOCORE=y
CONFIG_PAYLOAD_FILE="/usr/share/edk2.git/coreboot-ia32/COREBOOT-with-csm.fd"
CONFIG_PCI_ROM_RUN=n
CONFIG_VGA_ROM_RUN=n
CONFIG_ON_DEVICE_ROM_RUN=n
CONFIG_CONSOLE_QEMU_DEBUGCON=y
CONFIG_CONSOLE_CBMEM=y
# CONFIG_CONSOLE_SERIAL is not set