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