1#
2# Automatically generated file; DO NOT EDIT.
3# Xen/x86 4.11-unstable Configuration
4#
5CONFIG_X86_64=y
6CONFIG_X86=y
7CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
8
9#
10# Architecture Features
11#
12CONFIG_NR_CPUS=32
13CONFIG_PV=y
14CONFIG_PV_LINEAR_PT=y
15CONFIG_HVM=y
16# CONFIG_SHADOW_PAGING is not set
17# CONFIG_BIGMEM is not set
18# CONFIG_HVM_FEP is not set
19# CONFIG_TBOOT is not set
20CONFIG_XEN_GUEST=y
21CONFIG_PVH_GUEST=y
22CONFIG_PV_SHIM=y
23CONFIG_PV_SHIM_EXCLUSIVE=y
24
25#
26# Common Features
27#
28CONFIG_COMPAT=y
29CONFIG_CORE_PARKING=y
30CONFIG_HAS_ALTERNATIVE=y
31CONFIG_HAS_EX_TABLE=y
32CONFIG_HAS_MEM_ACCESS=y
33CONFIG_HAS_MEM_PAGING=y
34CONFIG_HAS_MEM_SHARING=y
35CONFIG_HAS_PDX=y
36CONFIG_HAS_UBSAN=y
37CONFIG_HAS_KEXEC=y
38CONFIG_HAS_GDBSX=y
39CONFIG_HAS_IOPORTS=y
40# CONFIG_KEXEC is not set
41# CONFIG_TMEM is not set
42# CONFIG_XENOPROF is not set
43# CONFIG_XSM is not set
44
45#
46# Schedulers
47#
48CONFIG_SCHED_CREDIT=y
49# CONFIG_SCHED_CREDIT2 is not set
50# CONFIG_SCHED_RTDS is not set
51# CONFIG_SCHED_ARINC653 is not set
52# CONFIG_SCHED_NULL is not set
53# CONFIG_SCHED_CREDIT_DEFAULT is not set
54CONFIG_SCHED_CREDIT_DEFAULT=y
55CONFIG_SCHED_DEFAULT="credit"
56# CONFIG_LIVEPATCH is not set
57# CONFIG_SUPPRESS_DUPLICATE_SYMBOL_WARNINGS is not set
58CONFIG_CMDLINE=""
59
60#
61# Device Drivers
62#
63CONFIG_ACPI=y
64CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
65CONFIG_NUMA=y
66CONFIG_HAS_NS16550=y
67CONFIG_HAS_EHCI=y
68CONFIG_HAS_CPUFREQ=y
69CONFIG_HAS_PASSTHROUGH=y
70CONFIG_HAS_PCI=y
71# CONFIG_VGA is not set
72CONFIG_DEFCONFIG_LIST="$ARCH_DEFCONFIG"
73CONFIG_ARCH_SUPPORTS_INT128=y
74
75#
76# Debugging Options
77#
78# CONFIG_DEBUG is not set
79# CONFIG_CRASH_DEBUG is not set
80# CONFIG_FRAME_POINTER is not set
81# CONFIG_GCOV is not set
82# CONFIG_LOCK_PROFILE is not set
83# CONFIG_PERF_COUNTERS is not set
84# CONFIG_VERBOSE_DEBUG is not set
85# CONFIG_SCRUB_DEBUG is not set
86# CONFIG_UBSAN is not set
87