src/mainboard/emulation/Kconfig

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