1 # SPDX-License-Identifier: GPL-2.0+
3 # Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com>
8 prompt "Mainboard model"
10 config TARGET_QEMU_X86
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.
19 config TARGET_QEMU_X86_64
20 bool "QEMU x86 64-bit"
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.
28 source "board/emulation/qemu-x86/Kconfig"