#
# Automatically generated file; DO NOT EDIT.
# Xen/x86 4.21.1 Configuration
#
CONFIG_CC_IS_GCC=y
CONFIG_GCC_VERSION=120400
CONFIG_CLANG_VERSION=0
CONFIG_LD_IS_GNU=y
CONFIG_CC_HAS_ASM_INLINE=y
CONFIG_CC_SPLIT_SECTIONS=y
CONFIG_CC_HAS_ASM_GOTO_OUTPUT=y
CONFIG_FUNCTION_ALIGNMENT_16B=y
CONFIG_FUNCTION_ALIGNMENT=16
CONFIG_X86_64=y
CONFIG_X86=y
CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
CONFIG_CC_HAS_INDIRECT_THUNK=y
CONFIG_CC_HAS_RETURN_THUNK=y
CONFIG_HAS_AS_CET_SS=y
CONFIG_HAS_CC_CET_IBT=y

#
# Architecture Features
#

#
# Supported CPU vendors
#
CONFIG_AMD=y
CONFIG_INTEL=y
# end of Supported CPU vendors

CONFIG_64BIT=y
CONFIG_NR_CPUS=2048
CONFIG_NR_NUMA_NODES=64
CONFIG_PV=y
# CONFIG_PV32 is not set
# CONFIG_PV_LINEAR_PT is not set
CONFIG_HVM=y
CONFIG_AMD_SVM=y
CONFIG_INTEL_VMX=y
CONFIG_HVM_FEP=y
CONFIG_ALTP2M=y
# CONFIG_MEM_PAGING is not set
# CONFIG_MEM_SHARING is not set
CONFIG_XEN_SHSTK=y
CONFIG_XEN_IBT=y
# CONFIG_SHADOW_PAGING is not set
CONFIG_PAGING=y
# CONFIG_BIGMEM is not set
# CONFIG_TBOOT is not set
CONFIG_X86_PSR=y
# CONFIG_XEN_ALIGN_DEFAULT is not set
CONFIG_XEN_ALIGN_2M=y
# CONFIG_X2APIC_PHYSICAL is not set
CONFIG_X2APIC_MIXED=y
CONFIG_MCE_NONFATAL=y
# CONFIG_XEN_GUEST is not set
# CONFIG_HYPERV_GUEST is not set
CONFIG_REQUIRE_NX=y
CONFIG_UCODE_SCAN_DEFAULT=y
# end of Architecture Features

#
# Common Features
#
CONFIG_COMPAT=y
CONFIG_CORE_PARKING=y
CONFIG_GRANT_TABLE=y
CONFIG_EVTCHN_FIFO=y
# CONFIG_PDX_MASK_COMPRESSION is not set
CONFIG_PDX_OFFSET_COMPRESSION=y
# CONFIG_PDX_NONE is not set
CONFIG_PDX_OFFSET_TBL_ORDER=6
CONFIG_ALTERNATIVE_CALL=y
CONFIG_ARCH_MAP_DOMAIN_PAGE=y
CONFIG_ARCH_PAGING_MEMPOOL=y
CONFIG_GENERIC_BUG_FRAME=y
CONFIG_HAS_ALTERNATIVE=y
CONFIG_HAS_COMPAT=y
CONFIG_HAS_DIT=y
CONFIG_HAS_EX_TABLE=y
CONFIG_HAS_FAST_MULTIPLY=y
CONFIG_HAS_IOPORTS=y
CONFIG_HAS_KEXEC=y
CONFIG_HAS_PIRQ=y
CONFIG_HAS_SCHED_GRANULARITY=y
CONFIG_HAS_SYSTEM_SUSPEND=y
CONFIG_HAS_UBSAN=y
CONFIG_HAS_VMAP=y
CONFIG_MEM_ACCESS_ALWAYS_ON=y
CONFIG_VM_EVENT=y
CONFIG_NEEDS_LIBELF=y
CONFIG_NUMA=y

#
# Speculative hardening
#
CONFIG_INDIRECT_THUNK=y
CONFIG_RETURN_THUNK=y
CONFIG_SPECULATIVE_HARDEN_ARRAY=y
CONFIG_SPECULATIVE_HARDEN_BRANCH=y
CONFIG_SPECULATIVE_HARDEN_GUEST_ACCESS=y
CONFIG_SPECULATIVE_HARDEN_LOCK=y
# end of Speculative hardening

#
# Other hardening
#
# end of Other hardening

CONFIG_DIT_DEFAULT=y
CONFIG_HYPFS=y
CONFIG_HYPFS_CONFIG=y
CONFIG_IOREQ_SERVER=y
CONFIG_KEXEC=y
CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP=y
# CONFIG_XENOPROF is not set
CONFIG_XSM=y
# CONFIG_XSM_FLASK is not set
CONFIG_XSM_SILO=y
# CONFIG_XSM_DUMMY_DEFAULT is not set
CONFIG_XSM_SILO_DEFAULT=y
# CONFIG_LATE_HWDOM is not set
# CONFIG_ARGO is not set

#
# Schedulers
#
CONFIG_SCHED_CREDIT=y
CONFIG_SCHED_CREDIT2=y
CONFIG_SCHED_RTDS=y
CONFIG_SCHED_ARINC653=y
CONFIG_SCHED_NULL=y
CONFIG_SCHED_CREDIT_DEFAULT=y
# CONFIG_SCHED_CREDIT2_DEFAULT is not set
# CONFIG_SCHED_RTDS_DEFAULT is not set
# CONFIG_SCHED_ARINC653_DEFAULT is not set
# CONFIG_SCHED_NULL_DEFAULT is not set
CONFIG_SCHED_DEFAULT="credit"
# end of Schedulers

CONFIG_CRYPTO=y
CONFIG_LIVEPATCH=y
CONFIG_FAST_SYMBOL_LOOKUP=y
CONFIG_ENFORCE_UNIQUE_SYMBOLS=y
CONFIG_PAYLOAD_SIGNING=y
CONFIG_PAYLOAD_SIG_KEY="signing_key.pem"
CONFIG_CMDLINE=""
CONFIG_DOM0_MEM=""
CONFIG_TRACEBUFFER=y
CONFIG_SYSTEM_SUSPEND_ALWAYS_ON=y
CONFIG_SYSTEM_SUSPEND=y

#
# Supported hypercall interfaces
#
CONFIG_SYSCTL=y
# end of Supported hypercall interfaces

CONFIG_PM_OP=y
CONFIG_PM_STATS=y
# CONFIG_LOCKDOWN_DEFAULT is not set
# end of Common Features

#
# Device Drivers
#
CONFIG_ACPI=y
CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
CONFIG_ACPI_NUMA=y
CONFIG_HAS_NS16550=y
CONFIG_HAS_EHCI=y
CONFIG_SERIAL_TX_BUFSIZE=131072
CONFIG_XHCI=y
CONFIG_HAS_CPUFREQ=y
CONFIG_HAS_PASSTHROUGH=y
CONFIG_AMD_IOMMU=y
CONFIG_INTEL_IOMMU=y
# CONFIG_IOMMU_QUARANTINE_NONE is not set
# CONFIG_IOMMU_QUARANTINE_BASIC is not set
CONFIG_IOMMU_QUARANTINE_SCRATCH_PAGE=y
CONFIG_HAS_PCI=y
CONFIG_HAS_PCI_MSI=y
CONFIG_VIDEO=y
CONFIG_VGA=y
CONFIG_HAS_VPCI=y
# end of Device Drivers

CONFIG_EXPERT=y
CONFIG_UNSUPPORTED=y
CONFIG_ARCH_SUPPORTS_INT128=y
CONFIG_ARCH_VCPU_IOREQ_COMPLETION=y

#
# Debugging Options
#
CONFIG_DEBUG=y
CONFIG_GDBSX=y
CONFIG_FRAME_POINTER=y
CONFIG_SELF_TESTS=y
# CONFIG_DEBUG_LOCK_PROFILE is not set
CONFIG_DEBUG_LOCKS=y
# CONFIG_PERF_COUNTERS is not set
CONFIG_VERBOSE_DEBUG=y
CONFIG_SCRUB_DEBUG=y
# CONFIG_UBSAN is not set
# CONFIG_DEBUG_TRACE is not set
CONFIG_XMEM_POOL_POISON=y
CONFIG_DEBUG_INFO=y
# end of Debugging Options
