#

# Automatically generated file; DO NOT EDIT.

# Xen/x86 4.14.0-rc Configuration

#

CONFIG_CC_IS_GCC=y

CONFIG_GCC_VERSION=100101

CONFIG_CLANG_VERSION=0

CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y

CONFIG_X86_64=y

CONFIG_X86=y

CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"

CONFIG_INDIRECT_THUNK=y

CONFIG_HAS_AS_CET_SS=y

#

# Architecture Features

#

CONFIG_NR_CPUS=256

CONFIG_PV=y

CONFIG_PV32=y

CONFIG_PV_LINEAR_PT=y

CONFIG_HVM=y

CONFIG_SHADOW_PAGING=y

# CONFIG_BIGMEM is not set

CONFIG_TBOOT=y

CONFIG_XEN_ALIGN_DEFAULT=y

# CONFIG_XEN_ALIGN_2M is not set

# CONFIG_XEN_GUEST is not set

# CONFIG_HYPERV_GUEST is not set

# end of Architecture Features

#

# Common Features

#

CONFIG_COMPAT=y

CONFIG_CORE_PARKING=y

CONFIG_GRANT_TABLE=y

CONFIG_HAS_ALTERNATIVE=y

CONFIG_HAS_EX_TABLE=y

CONFIG_HAS_FAST_MULTIPLY=y

CONFIG_MEM_ACCESS_ALWAYS_ON=y

CONFIG_MEM_ACCESS=y

CONFIG_HAS_MEM_PAGING=y

CONFIG_HAS_PDX=y

CONFIG_HAS_UBSAN=y

CONFIG_HAS_KEXEC=y

CONFIG_HAS_IOPORTS=y

CONFIG_HAS_SCHED_GRANULARITY=y

CONFIG_NEEDS_LIBELF=y

#

# Speculative hardening

#

CONFIG_SPECULATIVE_HARDEN_ARRAY=y

CONFIG_SPECULATIVE_HARDEN_BRANCH=y

# end of Speculative hardening

CONFIG_HYPFS=y

CONFIG_HYPFS_CONFIG=y

CONFIG_KEXEC=y

CONFIG_XENOPROF=y

# CONFIG_XSM is not set

CONFIG_SCHED_CREDIT=y

CONFIG_SCHED_CREDIT2=y

CONFIG_SCHED_RTDS=y

CONFIG_SCHED_NULL=y

CONFIG_SCHED_DEFAULT="credit2"

CONFIG_CRYPTO=y

CONFIG_LIVEPATCH=y

CONFIG_FAST_SYMBOL_LOOKUP=y

CONFIG_ENFORCE_UNIQUE_SYMBOLS=y

CONFIG_CMDLINE=""

CONFIG_DOM0_MEM=""

CONFIG_TRACEBUFFER=y

# end of Common Features

#

# 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_HAS_VPCI=y

# end of Device Drivers

# CONFIG_EXPERT is not set

CONFIG_ARCH_SUPPORTS_INT128=y

#

# Debugging Options

#

# CONFIG_DEBUG is not set

# end of Debugging Options

# ARM64 settings

CONFIG_64BIT=y

CONFIG_ARM_64=y

CONFIG_ARM=y

CONFIG_GICV3=y

# CONFIG_NEW_VGIC is not set

CONFIG_SBSA_VUART_CONSOLE=y

CONFIG_ARM_SSBD=y

CONFIG_HARDEN_BRANCH_PREDICTOR=y

#

# 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

CONFIG_ARM64_HARDEN_BRANCH_PREDICTOR=y

CONFIG_ALL_PLAT=y

# CONFIG_QEMU is not set

# CONFIG_RCAR3 is not set

# CONFIG_MPSOC is not set

# CONFIG_NO_PLAT is not set

CONFIG_ALL64_PLAT=y

CONFIG_MPSOC_PLATFORM=y

CONFIG_HAS_DEVICE_TREE=y

CONFIG_HAS_CADENCE_UART=y

CONFIG_HAS_MVEBU=y

CONFIG_HAS_MESON=y

CONFIG_HAS_PL011=y

CONFIG_HAS_SCIF=y

CONFIG_ARM_SMMU=y

# ARM32 settings

CONFIG_ALL32_PLAT=y

CONFIG_ARM32_HARDEN_BRANCH_PREDICTOR=y

CONFIG_ARM_32=y

CONFIG_HAS_EXYNOS4210=y

CONFIG_HAS_OMAP=y