# 
 | 
# 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 
 |