1## SPDX-License-Identifier: GPL-2.0-only 2 3# ugly to put it in here, but unavoidable 4config SEPARATE_ROMSTAGE 5 default n if BOARD_EMULATION_QEMU_RISCV 6 default n if BOARD_EMULATION_QEMU_SBSA 7 8if VENDOR_EMULATION 9 10choice 11 prompt "Mainboard model" 12 default BOARD_EMULATION_QEMU_X86_I440FX 13 14source "src/mainboard/emulation/*/Kconfig.name" 15 16endchoice 17 18source "src/mainboard/emulation/*/Kconfig" 19 20config MAINBOARD_VENDOR 21 default "Emulation" 22 23endif # VENDOR_EMULATION 24