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