## SPDX-License-Identifier: GPL-2.0-only

# ugly to put it in here, but unavoidable
config SEPARATE_ROMSTAGE
	default n if BOARD_EMULATION_QEMU_RISCV

if VENDOR_EMULATION

choice
	prompt "Mainboard model"
	default BOARD_EMULATION_QEMU_X86_I440FX

source "src/mainboard/emulation/*/Kconfig.name"

endchoice

source "src/mainboard/emulation/*/Kconfig"

config MAINBOARD_VENDOR
	default "Emulation"

endif # VENDOR_EMULATION