#
# Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
#
# SPDX-License-Identifier:	GPL-2.0+
#

if VENDOR_EMULATION

choice
	prompt "Mainboard model"

config TARGET_QEMU_X86
	bool "QEMU x86"
	help
	  This is the QEMU emulated x86 board. U-Boot supports running
	  as a coreboot payload as well as bare boot without coreboot.
	  There are two types of x86 boards supported by QEMU which are
	  supported by U-Boot. They are via QEMU '-M pc', an i440FX/PIIX
	  chipset platform and '-M q35', a Q35/ICH9 chipset platform.

config TARGET_QEMU_X86_64
	bool "QEMU x86 64-bit"
	help
	  This is the QEMU emulated x86 64-bit board. With this config
	  U-Boot is built as a 64-bit binary. This allows testing while
	  this feature is being completed.

endchoice

source "board/emulation/qemu-x86/Kconfig"

endif