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