|
| 1 | +# |
| 2 | +# Automatically generated file; DO NOT EDIT. |
| 3 | +# Xen/x86 4.17.3 Configuration |
| 4 | +# |
| 5 | +CONFIG_CC_IS_GCC=y |
| 6 | +CONFIG_GCC_VERSION=120301 |
| 7 | +CONFIG_CLANG_VERSION=0 |
| 8 | +CONFIG_LD_IS_GNU=y |
| 9 | +CONFIG_CC_HAS_VISIBILITY_ATTRIBUTE=y |
| 10 | +CONFIG_X86_64=y |
| 11 | +CONFIG_X86=y |
| 12 | +CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig" |
| 13 | +CONFIG_CC_HAS_INDIRECT_THUNK=y |
| 14 | +CONFIG_HAS_AS_CET_SS=y |
| 15 | +CONFIG_HAS_CC_CET_IBT=y |
| 16 | + |
| 17 | +# |
| 18 | +# Architecture Features |
| 19 | +# |
| 20 | +CONFIG_64BIT=y |
| 21 | +CONFIG_NR_CPUS=256 |
| 22 | +CONFIG_PV=y |
| 23 | +# CONFIG_PV32 is not set |
| 24 | +# CONFIG_PV_LINEAR_PT is not set |
| 25 | +CONFIG_HVM=y |
| 26 | +CONFIG_XEN_SHSTK=y |
| 27 | +CONFIG_XEN_IBT=y |
| 28 | +# CONFIG_SHADOW_PAGING is not set |
| 29 | +# CONFIG_BIGMEM is not set |
| 30 | +# CONFIG_HVM_FEP is not set |
| 31 | +CONFIG_TBOOT=y |
| 32 | +CONFIG_XEN_ALIGN_DEFAULT=y |
| 33 | +# CONFIG_XEN_ALIGN_2M is not set |
| 34 | +# CONFIG_X2APIC_PHYSICAL is not set |
| 35 | +# CONFIG_X2APIC_CLUSTER is not set |
| 36 | +CONFIG_X2APIC_MIXED=y |
| 37 | +# CONFIG_XEN_GUEST is not set |
| 38 | +# CONFIG_HYPERV_GUEST is not set |
| 39 | +# CONFIG_MEM_PAGING is not set |
| 40 | +# CONFIG_MEM_SHARING is not set |
| 41 | +# end of Architecture Features |
| 42 | + |
| 43 | +# |
| 44 | +# Common Features |
| 45 | +# |
| 46 | +CONFIG_COMPAT=y |
| 47 | +CONFIG_CORE_PARKING=y |
| 48 | +CONFIG_GRANT_TABLE=y |
| 49 | +CONFIG_ALTERNATIVE_CALL=y |
| 50 | +CONFIG_ARCH_MAP_DOMAIN_PAGE=y |
| 51 | +CONFIG_HAS_ALTERNATIVE=y |
| 52 | +CONFIG_HAS_COMPAT=y |
| 53 | +CONFIG_HAS_DIT=y |
| 54 | +CONFIG_HAS_EX_TABLE=y |
| 55 | +CONFIG_HAS_FAST_MULTIPLY=y |
| 56 | +CONFIG_HAS_IOPORTS=y |
| 57 | +CONFIG_HAS_KEXEC=y |
| 58 | +CONFIG_HAS_PDX=y |
| 59 | +CONFIG_HAS_SCHED_GRANULARITY=y |
| 60 | +CONFIG_HAS_UBSAN=y |
| 61 | +CONFIG_MEM_ACCESS_ALWAYS_ON=y |
| 62 | +CONFIG_MEM_ACCESS=y |
| 63 | +CONFIG_NEEDS_LIBELF=y |
| 64 | +CONFIG_NUMA=y |
| 65 | + |
| 66 | +# |
| 67 | +# Speculative hardening |
| 68 | +# |
| 69 | +CONFIG_INDIRECT_THUNK=y |
| 70 | +CONFIG_SPECULATIVE_HARDEN_ARRAY=y |
| 71 | +CONFIG_SPECULATIVE_HARDEN_BRANCH=y |
| 72 | +CONFIG_SPECULATIVE_HARDEN_GUEST_ACCESS=y |
| 73 | +CONFIG_SPECULATIVE_HARDEN_LOCK=y |
| 74 | +# end of Speculative hardening |
| 75 | + |
| 76 | +CONFIG_DIT_DEFAULT=y |
| 77 | +CONFIG_HYPFS=y |
| 78 | +CONFIG_HYPFS_CONFIG=y |
| 79 | +CONFIG_IOREQ_SERVER=y |
| 80 | +# CONFIG_KEXEC is not set |
| 81 | +CONFIG_EFI_SET_VIRTUAL_ADDRESS_MAP=y |
| 82 | +CONFIG_XENOPROF=y |
| 83 | +# CONFIG_XSM is not set |
| 84 | +# CONFIG_ARGO is not set |
| 85 | + |
| 86 | +# |
| 87 | +# Schedulers |
| 88 | +# |
| 89 | +CONFIG_SCHED_CREDIT=y |
| 90 | +CONFIG_SCHED_CREDIT2=y |
| 91 | +CONFIG_SCHED_RTDS=y |
| 92 | +# CONFIG_SCHED_ARINC653 is not set |
| 93 | +CONFIG_SCHED_NULL=y |
| 94 | +# CONFIG_SCHED_CREDIT_DEFAULT is not set |
| 95 | +CONFIG_SCHED_CREDIT2_DEFAULT=y |
| 96 | +# CONFIG_SCHED_RTDS_DEFAULT is not set |
| 97 | +# CONFIG_SCHED_NULL_DEFAULT is not set |
| 98 | +CONFIG_SCHED_DEFAULT="credit2" |
| 99 | +# end of Schedulers |
| 100 | + |
| 101 | +CONFIG_CRYPTO=y |
| 102 | +# CONFIG_LIVEPATCH is not set |
| 103 | +# CONFIG_ENFORCE_UNIQUE_SYMBOLS is not set |
| 104 | +CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS=y |
| 105 | +CONFIG_CMDLINE="ept=exec-sp spec-ctrl=unpriv-mmio" |
| 106 | +# CONFIG_CMDLINE_OVERRIDE is not set |
| 107 | +CONFIG_DOM0_MEM="min:1024M,max:4096M" |
| 108 | +# CONFIG_TRACEBUFFER is not set |
| 109 | +# end of Common Features |
| 110 | + |
| 111 | +# |
| 112 | +# Device Drivers |
| 113 | +# |
| 114 | +CONFIG_ACPI=y |
| 115 | +CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y |
| 116 | +CONFIG_ACPI_NUMA=y |
| 117 | +CONFIG_HAS_NS16550=y |
| 118 | +CONFIG_HAS_EHCI=y |
| 119 | +CONFIG_SERIAL_TX_BUFSIZE=16384 |
| 120 | +CONFIG_XHCI=y |
| 121 | +CONFIG_HAS_CPUFREQ=y |
| 122 | +CONFIG_HAS_PASSTHROUGH=y |
| 123 | +# CONFIG_IOMMU_QUARANTINE_NONE is not set |
| 124 | +CONFIG_IOMMU_QUARANTINE_BASIC=y |
| 125 | +# CONFIG_IOMMU_QUARANTINE_SCRATCH_PAGE is not set |
| 126 | +CONFIG_HAS_PCI=y |
| 127 | +CONFIG_HAS_PCI_MSI=y |
| 128 | +CONFIG_VIDEO=y |
| 129 | +CONFIG_VGA=y |
| 130 | +CONFIG_HAS_VPCI=y |
| 131 | +# end of Device Drivers |
| 132 | + |
| 133 | +CONFIG_EXPERT=y |
| 134 | +CONFIG_UNSUPPORTED=y |
| 135 | +CONFIG_ARCH_SUPPORTS_INT128=y |
| 136 | + |
| 137 | +# |
| 138 | +# Debugging Options |
| 139 | +# |
| 140 | +# CONFIG_DEBUG is not set |
| 141 | +# CONFIG_CRASH_DEBUG is not set |
| 142 | +CONFIG_GDBSX=y |
| 143 | +CONFIG_DEBUG_INFO=y |
| 144 | +# CONFIG_FRAME_POINTER is not set |
| 145 | +# CONFIG_COVERAGE is not set |
| 146 | +# CONFIG_DEBUG_LOCK_PROFILE is not set |
| 147 | +# CONFIG_DEBUG_LOCKS is not set |
| 148 | +# CONFIG_PERF_COUNTERS is not set |
| 149 | +# CONFIG_VERBOSE_DEBUG is not set |
| 150 | +CONFIG_SCRUB_DEBUG=y |
| 151 | +# CONFIG_UBSAN is not set |
| 152 | +# CONFIG_DEBUG_TRACE is not set |
| 153 | +# CONFIG_XMEM_POOL_POISON is not set |
| 154 | +# end of Debugging Options |
0 commit comments