-# Select 32 or 64 bit
config 64BIT
bool
default ARCH != "arm32"
Advanced Configuration and Power Interface (ACPI) support for Xen is
an alternative to device tree on ARM64.
-# Select HAS_GICV3 if GICv3 is supported
config HAS_GICV3
bool
-# Select ALTERNATIVE if the architecture supports runtime patching
config ALTERNATIVE
bool
config CORE_PARKING
bool
-# Select HAS_DEVICE_TREE if device tree is supported
config HAS_DEVICE_TREE
bool
-# Select HAS_MEM_ACCESS if mem access is supported
config HAS_MEM_ACCESS
bool
-# Select HAS_MEM_PAGING if mem paging is supported
config HAS_MEM_PAGING
bool
-# Select HAS_MEM_SHARING if mem sharing is supported
config HAS_MEM_SHARING
bool
-# Select HAS_PDX if PDX is supported
config HAS_PDX
bool
-# Select HAS_KEXEC if kexec is supported
config HAS_KEXEC
bool
-# Select HAS_GDBSX if GDBSX is supported
config HAS_GDBSX
bool
string
option env="XEN_HAS_CHECKPOLICY"
-# Enable/Disable kexec support
config KEXEC
bool "kexec support"
default y
If unsure, say Y.
-# Allows "late" initialization of the hardware domain
config LATE_HWDOM
bool "dedicated hardware domain"
default n
If unsure, say N.
-# Enables transcendent memory support
config TMEM
def_bool y
prompt "Transcendent Memory Support" if EXPERT = "y"
If unsure, say Y.
-# Adds support for Xenoprof
config XENOPROF
def_bool y
prompt "Xen Oprofile Support" if EXPERT = "y"
If unsure, say Y.
-# Enable/Disable XSM support
config XSM
bool "Xen Security Modules support"
default n
If unsure, say Y.
-# Enable schedulers
menu "Schedulers"
visible if EXPERT = "y"
config CRYPTO
bool
-# Enable/Disable live patching support
config LIVEPATCH
bool "Live patching support (TECH PREVIEW)"
default n
-# Select ACPI if ACPI is supported
config ACPI
bool
-# 16550-series UART support
config HAS_NS16550
bool
default y
help
This selects the 16550-series UART support. For most systems, say Y.
-# Xilinx Zynq Cadence UART support
config HAS_CADENCE_UART
bool
default y
This selects the Xilinx Zynq Cadence UART. If you have a Xilinx Zynq
based board, say Y.
-# ARM AMBA PL011 UART support
config HAS_PL011
bool
default y
This selects the ARM(R) AMBA(R) PrimeCell PL011 UART. If you have
an Integrator/PP2, Integrator/CP or Versatile platform, say Y.
-# Samsung Exynos 4210 UART support
config HAS_EXYNOS4210
bool
default y
This selects the Samsung Exynos 4210 UART. If you have a Samsung
Exynos based board, say Y.
-# OMAP UART support
config HAS_OMAP
bool
default y
This selects the Texas Instruments OMAP UART. If you have a Texas
Instruments based CPU, say Y.
-# SuperH SCI(F) UART support
config HAS_SCIF
bool
default y
This selects the SuperH SCI(F) UART. If you have a SuperH based board,
say Y.
-# USB EHCI debug port support
config HAS_EHCI
bool
help
-# Select HAS_CPUFREQ if CPU frequency scaling is supported
config HAS_CPUFREQ
bool
-# Select HAS_PASSTHROUGH if device pass through is supported
config HAS_PASSTHROUGH
bool
-# Select HAS_PCI if PCI is supported
config HAS_PCI
bool
-# Select VIDEO if video is supported
config VIDEO
bool
-# Select VGA if VGA is supported
config VGA
bool
select VIDEO
-# Select HAS_ARM_HDLCD if ARM HDLCD is supported
config HAS_ARM_HDLCD
bool