2018-05-06 21:58:06 +00:00
|
|
|
# SPDX-License-Identifier: GPL-2.0+
|
2015-05-07 13:34:08 +00:00
|
|
|
#
|
|
|
|
# Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
2017-01-18 11:33:04 +00:00
|
|
|
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.
|
|
|
|
|
2015-05-07 13:34:08 +00:00
|
|
|
endchoice
|
|
|
|
|
|
|
|
source "board/emulation/qemu-x86/Kconfig"
|
|
|
|
|
|
|
|
endif
|