| # |
| # Copyright (C) 2015, Bin Meng <bmeng.cn@gmail.com> |
| # |
| # SPDX-License-Identifier: GPL-2.0+ |
| # |
| |
| 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. |
| |
| 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. |
| |
| endchoice |
| |
| source "board/emulation/qemu-x86/Kconfig" |
| |
| endif |
