# # Automatically generated file; DO NOT EDIT. # Xen/x86 4.18.2_02-150600.1 Configuration # CONFIG_CC_IS_GCC=y CONFIG_GCC_VERSION=70500 CONFIG_CLANG_VERSION=0 CONFIG_LD_IS_GNU=y CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y CONFIG_CC_SPLIT_SECTIONS=y CONFIG_X86_64=y CONFIG_X86=y CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig" CONFIG_CC_HAS_INDIRECT_THUNK=y CONFIG_HAS_AS_CET_SS=y # # Architecture Features # CONFIG_64BIT=y CONFIG_NR_CPUS=1024 CONFIG_NR_NUMA_NODES=64 CONFIG_PV=y # CONFIG_PV32 is not set CONFIG_PV_LINEAR_PT=y CONFIG_HVM=y CONFIG_XEN_SHSTK=y CONFIG_SHADOW_PAGING=y # CONFIG_BIGMEM is not set CONFIG_XEN_ALIGN_DEFAULT=y # CONFIG_XEN_ALIGN_2M is not set # CONFIG_X2APIC_PHYSICAL is not set # CONFIG_X2APIC_CLUSTER is not set CONFIG_X2APIC_MIXED=y # CONFIG_XEN_GUEST is not set # CONFIG_HYPERV_GUEST is not set CONFIG_REQUIRE_NX=y # end of Architecture Features # # Common Features # CONFIG_COMPAT=y CONFIG_CORE_PARKING=y CONFIG_GRANT_TABLE=y CONFIG_ALTERNATIVE_CALL=y CONFIG_ARCH_MAP_DOMAIN_PAGE=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_SCHED_GRANULARITY=y CONFIG_HAS_UBSAN=y CONFIG_MEM_ACCESS_ALWAYS_ON=y CONFIG_MEM_ACCESS=y CONFIG_NEEDS_LIBELF=y CONFIG_NUMA=y # # Speculative hardening # CONFIG_INDIRECT_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 CONFIG_DIT_DEFAULT=y CONFIG_HYPFS=y CONFIG_HYPFS_CONFIG=y CONFIG_IOREQ_SERVER=y CONFIG_KEXEC=y # CONFIG_XSM is not set CONFIG_SCHED_CREDIT=y CONFIG_SCHED_CREDIT2=y CONFIG_SCHED_DEFAULT="credit2" CONFIG_LIVEPATCH=y CONFIG_FAST_SYMBOL_LOOKUP=y CONFIG_ENFORCE_UNIQUE_SYMBOLS=y CONFIG_CMDLINE="" CONFIG_DOM0_MEM="1G+10%,max:64G" CONFIG_TRACEBUFFER=y # 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=32768 # CONFIG_XHCI is not set 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=y # CONFIG_IOMMU_QUARANTINE_SCRATCH_PAGE is not set 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 is not set # CONFIG_UNSUPPORTED is not set CONFIG_ARCH_SUPPORTS_INT128=y # # Debugging Options # # CONFIG_DEBUG is not set CONFIG_DEBUG_INFO=y # end of Debugging Options