#

# Automatically generated file; DO NOT EDIT.

# Xen/x86 4.8.0 Configuration

#

CONFIG_X86_64=y

CONFIG_X86=y

CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"

#

# Architecture Features

#

CONFIG_NR_CPUS=256

CONFIG_SHADOW_PAGING=y

# CONFIG_BIGMEM is not set

# CONFIG_HVM_FEP is not set

CONFIG_TBOOT=y

#

# Common Features

#

CONFIG_COMPAT=y

CONFIG_CORE_PARKING=y

CONFIG_HAS_ALTERNATIVE=y

CONFIG_HAS_EX_TABLE=y

CONFIG_HAS_MEM_ACCESS=y

CONFIG_HAS_MEM_PAGING=y

CONFIG_HAS_MEM_SHARING=y

CONFIG_HAS_PDX=y

CONFIG_HAS_KEXEC=y

CONFIG_HAS_GDBSX=y

CONFIG_HAS_IOPORTS=y

CONFIG_KEXEC=y

CONFIG_TMEM=y

CONFIG_XENOPROF=y

# CONFIG_XSM is not set

CONFIG_SCHED_CREDIT=y

CONFIG_SCHED_CREDIT2=y

CONFIG_SCHED_RTDS=y

CONFIG_SCHED_ARINC653=y

CONFIG_SCHED_DEFAULT="credit"

CONFIG_CRYPTO=y

CONFIG_LIVEPATCH=y

CONFIG_FAST_SYMBOL_LOOKUP=y

#

# Device Drivers

#

CONFIG_ACPI=y

CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y

CONFIG_NUMA=y

CONFIG_HAS_NS16550=y

CONFIG_HAS_EHCI=y

CONFIG_HAS_CPUFREQ=y

CONFIG_HAS_PASSTHROUGH=y

CONFIG_HAS_PCI=y

CONFIG_VIDEO=y

CONFIG_VGA=y

CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"

#

# Debugging Options

#

# CONFIG_DEBUG is not set

# ARM errata workaround via the alternative framework

#

CONFIG_ARM64_ERRATUM_827319=y

CONFIG_ARM64_ERRATUM_824069=y

CONFIG_ARM64_ERRATUM_819472=y

CONFIG_ARM64_ERRATUM_832075=y

CONFIG_ARM64_ERRATUM_834220=y