1# SPDX-License-Identifier: GPL-2.0+
2#
3# Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
4
5if VENDOR_EMULATION
6
7choice
8	prompt "Mainboard model"
9
10config 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
19config 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
26endchoice
27
28source "board/emulation/qemu-x86/Kconfig"
29
30endif
31