| ## 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 |