## SPDX-License-Identifier: GPL-2.0-only 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