Home | History | Annotate | Download | only in emulation
      1 # SPDX-License-Identifier: GPL-2.0+
      2 #
      3 # Copyright (C) 2015, Bin Meng <bmeng.cn (a] gmail.com>
      4 
      5 if VENDOR_EMULATION
      6 
      7 choice
      8 	prompt "Mainboard model"
      9 
     10 config TARGET_QEMU_X86
     11 	bool "QEMU x86"
     12 	help
     13 	  This is the QEMU emulated x86 board. U-Boot supports running
     14 	  as a coreboot payload as well as bare boot without coreboot.
     15 	  There are two types of x86 boards supported by QEMU which are
     16 	  supported by U-Boot. They are via QEMU '-M pc', an i440FX/PIIX
     17 	  chipset platform and '-M q35', a Q35/ICH9 chipset platform.
     18 
     19 config TARGET_QEMU_X86_64
     20 	bool "QEMU x86 64-bit"
     21 	help
     22 	  This is the QEMU emulated x86 64-bit board. With this config
     23 	  U-Boot is built as a 64-bit binary. This allows testing while
     24 	  this feature is being completed.
     25 
     26 endchoice
     27 
     28 source "board/emulation/qemu-x86/Kconfig"
     29 
     30 endif
     31