kernel: bump 4.14 to 4.14.11
[openwrt/openwrt.git] / target / linux / x86 / 64 / config-default
1 CONFIG_64BIT=y
2 CONFIG_ACPI=y
3 CONFIG_ACPI_AC=y
4 CONFIG_ACPI_BATTERY=y
5 # CONFIG_ACPI_BGRT is not set
6 CONFIG_ACPI_BUTTON=y
7 # CONFIG_ACPI_CMPC is not set
8 CONFIG_ACPI_CONTAINER=y
9 CONFIG_ACPI_CPPC_LIB=y
10 CONFIG_ACPI_CPU_FREQ_PSS=y
11 # CONFIG_ACPI_CUSTOM_DSDT is not set
12 # CONFIG_ACPI_DEBUG is not set
13 # CONFIG_ACPI_DEBUGGER is not set
14 # CONFIG_ACPI_DOCK is not set
15 # CONFIG_ACPI_EC_DEBUGFS is not set
16 CONFIG_ACPI_FAN=y
17 CONFIG_ACPI_HOTPLUG_CPU=y
18 CONFIG_ACPI_HOTPLUG_IOAPIC=y
19 # CONFIG_ACPI_I2C_OPREGION is not set
20 CONFIG_ACPI_LEGACY_TABLES_LOOKUP=y
21 # CONFIG_ACPI_PCI_SLOT is not set
22 CONFIG_ACPI_PROCESSOR=y
23 # CONFIG_ACPI_PROCESSOR_AGGREGATOR is not set
24 CONFIG_ACPI_PROCESSOR_CSTATE=y
25 CONFIG_ACPI_PROCESSOR_IDLE=y
26 # CONFIG_ACPI_PROCFS_POWER is not set
27 CONFIG_ACPI_REV_OVERRIDE_POSSIBLE=y
28 # CONFIG_ACPI_SBS is not set
29 CONFIG_ACPI_SYSTEM_POWER_STATES_SUPPORT=y
30 CONFIG_ACPI_THERMAL=y
31 # CONFIG_ACPI_WMI is not set
32 CONFIG_ARCH_DEFCONFIG="arch/x86/configs/x86_64_defconfig"
33 CONFIG_ARCH_HAS_ACPI_TABLE_UPGRADE=y
34 CONFIG_ARCH_HAS_ADD_PAGES=y
35 CONFIG_ARCH_HAS_KCOV=y
36 CONFIG_ARCH_HAS_PMEM_API=y
37 CONFIG_ARCH_HAS_UACCESS_FLUSHCACHE=y
38 CONFIG_ARCH_HAS_ZONE_DEVICE=y
39 CONFIG_ARCH_MIGHT_HAVE_ACPI_PDC=y
40 CONFIG_ARCH_MMAP_RND_BITS=28
41 CONFIG_ARCH_MMAP_RND_BITS_MAX=32
42 CONFIG_ARCH_MMAP_RND_BITS_MIN=28
43 CONFIG_ARCH_SPARSEMEM_DEFAULT=y
44 CONFIG_ARCH_SUPPORTS_INT128=y
45 CONFIG_ARCH_SUPPORTS_NUMA_BALANCING=y
46 CONFIG_ARCH_USE_CMPXCHG_LOCKREF=y
47 CONFIG_ARCH_WANTS_THP_SWAP=y
48 CONFIG_AUDIT_ARCH=y
49 CONFIG_BACKLIGHT_CLASS_DEVICE=y
50 CONFIG_BACKLIGHT_GENERIC=y
51 CONFIG_BACKLIGHT_LCD_SUPPORT=y
52 CONFIG_BLK_DEV_INTEGRITY=y
53 CONFIG_BLK_MQ_VIRTIO=y
54 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
55 CONFIG_CALGARY_IOMMU=y
56 CONFIG_CALGARY_IOMMU_ENABLED_BY_DEFAULT=y
57 CONFIG_CONNECTOR=y
58 # CONFIG_CPU_HOTPLUG_STATE_CONTROL is not set
59 CONFIG_CPU_RMAP=y
60 CONFIG_CRC_T10DIF=y
61 CONFIG_CRYPTO_AEAD=y
62 CONFIG_CRYPTO_AEAD2=y
63 CONFIG_CRYPTO_AES_NI_INTEL=y
64 CONFIG_CRYPTO_AES_X86_64=y
65 # CONFIG_CRYPTO_BLOWFISH_X86_64 is not set
66 # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX2_X86_64 is not set
67 # CONFIG_CRYPTO_CAMELLIA_AESNI_AVX_X86_64 is not set
68 # CONFIG_CRYPTO_CAMELLIA_X86_64 is not set
69 # CONFIG_CRYPTO_CAST5_AVX_X86_64 is not set
70 # CONFIG_CRYPTO_CAST6_AVX_X86_64 is not set
71 # CONFIG_CRYPTO_CHACHA20_X86_64 is not set
72 CONFIG_CRYPTO_CRCT10DIF=y
73 # CONFIG_CRYPTO_CRCT10DIF_PCLMUL is not set
74 CONFIG_CRYPTO_CRYPTD=y
75 # CONFIG_CRYPTO_DES3_EDE_X86_64 is not set
76 CONFIG_CRYPTO_ECB=y
77 CONFIG_CRYPTO_GF128MUL=y
78 CONFIG_CRYPTO_GLUE_HELPER_X86=y
79 CONFIG_CRYPTO_LRW=y
80 CONFIG_CRYPTO_MANAGER=y
81 CONFIG_CRYPTO_MANAGER2=y
82 CONFIG_CRYPTO_NULL2=y
83 # CONFIG_CRYPTO_POLY1305_X86_64 is not set
84 # CONFIG_CRYPTO_SALSA20_X86_64 is not set
85 # CONFIG_CRYPTO_SERPENT_AVX2_X86_64 is not set
86 # CONFIG_CRYPTO_SERPENT_AVX_X86_64 is not set
87 # CONFIG_CRYPTO_SERPENT_SSE2_X86_64 is not set
88 # CONFIG_CRYPTO_SHA1_MB is not set
89 # CONFIG_CRYPTO_SHA1_SSSE3 is not set
90 # CONFIG_CRYPTO_SHA256_MB is not set
91 # CONFIG_CRYPTO_SHA256_SSSE3 is not set
92 # CONFIG_CRYPTO_SHA512_MB is not set
93 # CONFIG_CRYPTO_SHA512_SSSE3 is not set
94 CONFIG_CRYPTO_SIMD=y
95 # CONFIG_CRYPTO_SKEIN is not set
96 # CONFIG_CRYPTO_TWOFISH_AVX_X86_64 is not set
97 # CONFIG_CRYPTO_TWOFISH_X86_64 is not set
98 # CONFIG_CRYPTO_TWOFISH_X86_64_3WAY is not set
99 CONFIG_CRYPTO_XTS=y
100 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
101 # CONFIG_DPTF_POWER is not set
102 # CONFIG_EARLY_PRINTK_EFI is not set
103 CONFIG_EFI=y
104 CONFIG_EFIVAR_FS=m
105 # CONFIG_EFI_BOOTLOADER_CONTROL is not set
106 # CONFIG_EFI_CAPSULE_LOADER is not set
107 # CONFIG_EFI_DEV_PATH_PARSER is not set
108 CONFIG_EFI_ESRT=y
109 # CONFIG_EFI_FAKE_MEMMAP is not set
110 # CONFIG_EFI_MIXED is not set
111 # CONFIG_EFI_PGT_DUMP is not set
112 CONFIG_EFI_RUNTIME_MAP=y
113 CONFIG_EFI_RUNTIME_WRAPPERS=y
114 CONFIG_EFI_STUB=y
115 # CONFIG_EFI_TEST is not set
116 CONFIG_EFI_VARS=y
117 CONFIG_FB=y
118 CONFIG_FB_CFB_COPYAREA=y
119 CONFIG_FB_CFB_FILLRECT=y
120 CONFIG_FB_CFB_IMAGEBLIT=y
121 CONFIG_FB_CMDLINE=y
122 CONFIG_FB_DEFERRED_IO=y
123 CONFIG_FB_EFI=y
124 CONFIG_FB_HYPERV=y
125 CONFIG_FB_MODE_HELPERS=y
126 # CONFIG_FB_PROVIDE_GET_FB_UNMAPPED_AREA is not set
127 CONFIG_FB_SIMPLE=y
128 CONFIG_FB_SYS_COPYAREA=y
129 CONFIG_FB_SYS_FILLRECT=y
130 CONFIG_FB_SYS_FOPS=y
131 CONFIG_FB_SYS_IMAGEBLIT=y
132 CONFIG_FB_TILEBLITTING=y
133 # CONFIG_FB_VESA is not set
134 # CONFIG_FONTS is not set
135 CONFIG_FONT_8x16=y
136 CONFIG_FONT_8x8=y
137 CONFIG_FONT_SUPPORT=y
138 CONFIG_FRAMEBUFFER_CONSOLE=y
139 # CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY is not set
140 # CONFIG_FRAMEBUFFER_CONSOLE_ROTATION is not set
141 CONFIG_FREEZER=y
142 CONFIG_GART_IOMMU=y
143 CONFIG_GENERIC_BUG_RELATIVE_POINTERS=y
144 CONFIG_GENERIC_CPU=y
145 CONFIG_GENERIC_IRQ_EFFECTIVE_AFF_MASK=y
146 CONFIG_GENERIC_IRQ_MIGRATION=y
147 CONFIG_GENERIC_PENDING_IRQ=y
148 CONFIG_GPIOLIB=y
149 CONFIG_GPIOLIB_IRQCHIP=y
150 CONFIG_GPIO_ACPI=y
151 CONFIG_GPIO_ICH=y
152 CONFIG_GPIO_IT87=y
153 CONFIG_GPIO_LYNXPOINT=y
154 CONFIG_GPIO_SCH=y
155 CONFIG_GPIO_SYSFS=y
156 CONFIG_HARDLOCKUP_CHECK_TIMESTAMP=y
157 CONFIG_HAVE_ACPI_APEI=y
158 CONFIG_HAVE_ACPI_APEI_NMI=y
159 # CONFIG_HAVE_AOUT is not set
160 CONFIG_HAVE_ARCH_SOFT_DIRTY=y
161 CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE_PUD=y
162 CONFIG_HAVE_ARCH_VMAP_STACK=y
163 CONFIG_HAVE_CONTEXT_TRACKING=y
164 CONFIG_HAVE_EBPF_JIT=y
165 CONFIG_HAVE_FENTRY=y
166 # CONFIG_HAVE_GENERIC_DMA_COHERENT is not set
167 CONFIG_HAVE_IRQ_EXIT_ON_IRQ_STACK=y
168 CONFIG_HAVE_LIVEPATCH=y
169 CONFIG_HAVE_MEMORY_PRESENT=y
170 CONFIG_HAVE_STACK_VALIDATION=y
171 CONFIG_HAVE_VIRT_CPU_ACCOUNTING_GEN=y
172 CONFIG_HIBERNATE_CALLBACKS=y
173 CONFIG_HID_BATTERY_STRENGTH=y
174 CONFIG_HID_GENERIC=y
175 CONFIG_HID_HYPERV_MOUSE=y
176 CONFIG_HOTPLUG_CPU=y
177 CONFIG_HOTPLUG_PCI=y
178 CONFIG_HOTPLUG_PCI_ACPI=y
179 # CONFIG_HOTPLUG_PCI_ACPI_IBM is not set
180 # CONFIG_HOTPLUG_PCI_CPCI is not set
181 # CONFIG_HOTPLUG_PCI_PCIE is not set
182 # CONFIG_HOTPLUG_PCI_SHPC is not set
183 CONFIG_HPET=y
184 CONFIG_HPET_MMAP=y
185 # CONFIG_HP_ACCEL is not set
186 CONFIG_HVC_DRIVER=y
187 CONFIG_HVC_IRQ=y
188 CONFIG_HVC_XEN=y
189 CONFIG_HVC_XEN_FRONTEND=y
190 CONFIG_HWMON=y
191 CONFIG_HWMON_VID=y
192 CONFIG_HW_RANDOM_AMD=y
193 CONFIG_HW_RANDOM_INTEL=y
194 CONFIG_HW_RANDOM_VIRTIO=y
195 CONFIG_HYPERV=y
196 CONFIG_HYPERVISOR_GUEST=y
197 CONFIG_HYPERV_BALLOON=y
198 CONFIG_HYPERV_KEYBOARD=y
199 CONFIG_HYPERV_NET=y
200 CONFIG_HYPERV_STORAGE=y
201 CONFIG_HYPERV_TSCPAGE=y
202 CONFIG_HYPERV_UTILS=y
203 # CONFIG_HYPERV_VSOCKETS is not set
204 CONFIG_I2C=y
205 CONFIG_I2C_BOARDINFO=y
206 # CONFIG_I7300_IDLE is not set
207 # CONFIG_IA32_EMULATION is not set
208 CONFIG_ILLEGAL_POINTER_VALUE=0xdead000000000000
209 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
210 CONFIG_INTEL_IDLE=y
211 # CONFIG_INTEL_INT0002_VGPIO is not set
212 # CONFIG_INTEL_IPS is not set
213 # CONFIG_INTEL_MENLOW is not set
214 # CONFIG_INTEL_MIC_BUS is not set
215 CONFIG_INTEL_PCH_THERMAL=y
216 # CONFIG_INTEL_PMC_IPC is not set
217 CONFIG_INTEL_SOC_DTS_IOSF_CORE=y
218 CONFIG_INTEL_SOC_DTS_THERMAL=y
219 # CONFIG_INTEL_TURBO_MAX_3 is not set
220 # CONFIG_IOMMU_DEBUG is not set
221 CONFIG_IOSF_MBI=y
222 # CONFIG_IOSF_MBI_DEBUG is not set
223 # CONFIG_ISCSI_IBFT_FIND is not set
224 CONFIG_KALLSYMS_ABSOLUTE_PERCPU=y
225 # CONFIG_KVM_DEBUG_FS is not set
226 CONFIG_KVM_GUEST=y
227 # CONFIG_LCD_CLASS_DEVICE is not set
228 CONFIG_LEDS_GPIO=y
229 # CONFIG_LEGACY_VSYSCALL_EMULATE is not set
230 # CONFIG_LEGACY_VSYSCALL_NATIVE is not set
231 CONFIG_LEGACY_VSYSCALL_NONE=y
232 CONFIG_LOCK_SPIN_ON_OWNER=y
233 CONFIG_LPC_ICH=y
234 CONFIG_LPC_SCH=y
235 CONFIG_MAILBOX=y
236 # CONFIG_MAXSMP is not set
237 CONFIG_MEMORY_BALLOON=y
238 # CONFIG_MEMORY_HOTPLUG is not set
239 CONFIG_MFD_CORE=y
240 # CONFIG_MFD_INTEL_LPSS_ACPI is not set
241 CONFIG_MMC=y
242 CONFIG_MMC_BLOCK=y
243 CONFIG_MMC_RICOH_MMC=y
244 CONFIG_MMC_SDHCI=y
245 CONFIG_MMC_SDHCI_PCI=y
246 # CONFIG_MMC_SDHCI_PLTFM is not set
247 # CONFIG_MMC_TIFM_SD is not set
248 # CONFIG_MMC_WBSD is not set
249 CONFIG_MMU_NOTIFIER=y
250 CONFIG_MODULES_USE_ELF_RELA=y
251 # CONFIG_MPSC is not set
252 CONFIG_MUTEX_SPIN_ON_OWNER=y
253 CONFIG_NET_FLOW_LIMIT=y
254 CONFIG_NR_CPUS=8
255 # CONFIG_NUMA is not set
256 CONFIG_OUTPUT_FORMAT="elf64-x86-64"
257 CONFIG_PADATA=y
258 CONFIG_PAGE_TABLE_ISOLATION=y
259 CONFIG_PARAVIRT=y
260 CONFIG_PARAVIRT_CLOCK=y
261 # CONFIG_PARAVIRT_DEBUG is not set
262 CONFIG_PARAVIRT_SPINLOCKS=y
263 CONFIG_PATA_AMD=y
264 CONFIG_PATA_ATIIXP=y
265 CONFIG_PATA_MPIIX=y
266 CONFIG_PATA_OLDPIIX=y
267 CONFIG_PATA_PLATFORM=y
268 CONFIG_PATA_VIA=y
269 CONFIG_PCC=y
270 CONFIG_PCIEAER=y
271 CONFIG_PCIEPORTBUS=y
272 CONFIG_PCIE_PME=y
273 CONFIG_PCI_HYPERV=y
274 # CONFIG_PCI_MMCONFIG is not set
275 CONFIG_PCI_XEN=y
276 CONFIG_PGTABLE_LEVELS=4
277 CONFIG_PHYSICAL_ALIGN=0x1000000
278 CONFIG_PM=y
279 # CONFIG_PMIC_OPREGION is not set
280 CONFIG_PM_CLK=y
281 # CONFIG_PM_DEBUG is not set
282 CONFIG_PM_SLEEP=y
283 CONFIG_PM_SLEEP_SMP=y
284 CONFIG_PNP=y
285 CONFIG_PNPACPI=y
286 CONFIG_PNP_DEBUG_MESSAGES=y
287 CONFIG_PROC_EVENTS=y
288 # CONFIG_PVPANIC is not set
289 CONFIG_QUEUED_RWLOCKS=y
290 CONFIG_QUEUED_SPINLOCKS=y
291 # CONFIG_RANDOMIZE_BASE is not set
292 CONFIG_RAS=y
293 CONFIG_RCU_NEED_SEGCBLIST=y
294 CONFIG_RCU_STALL_COMMON=y
295 CONFIG_REGMAP=y
296 CONFIG_REGMAP_I2C=y
297 CONFIG_RELOCATABLE=y
298 CONFIG_RESET_ATTACK_MITIGATION=y
299 CONFIG_RFS_ACCEL=y
300 CONFIG_RPS=y
301 CONFIG_RTC_I2C_AND_SPI=y
302 CONFIG_RWSEM_SPIN_ON_OWNER=y
303 # CONFIG_SAMSUNG_Q10 is not set
304 CONFIG_SATA_AHCI=y
305 CONFIG_SCHED_MC=y
306 CONFIG_SCHED_MC_PRIO=y
307 CONFIG_SCHED_SMT=y
308 # CONFIG_SCIF_BUS is not set
309 CONFIG_SCSI_VIRTIO=y
310 CONFIG_SENSORS_CORETEMP=y
311 CONFIG_SENSORS_FAM15H_POWER=y
312 CONFIG_SENSORS_I5500=y
313 CONFIG_SENSORS_K10TEMP=y
314 CONFIG_SENSORS_K8TEMP=y
315 CONFIG_SENSORS_VIA_CPUTEMP=y
316 CONFIG_SERIAL_8250_PNP=y
317 CONFIG_SMP=y
318 CONFIG_SPARSEMEM=y
319 CONFIG_SPARSEMEM_ALLOC_MEM_MAP_TOGETHER=y
320 CONFIG_SPARSEMEM_EXTREME=y
321 CONFIG_SPARSEMEM_MANUAL=y
322 # CONFIG_SPARSEMEM_VMEMMAP is not set
323 CONFIG_SPARSEMEM_VMEMMAP_ENABLE=y
324 # CONFIG_SURFACE_PRO3_BUTTON is not set
325 CONFIG_SWIOTLB_XEN=y
326 CONFIG_SYS_HYPERVISOR=y
327 CONFIG_THERMAL_GOV_USER_SPACE=y
328 CONFIG_THERMAL_HWMON=y
329 CONFIG_THERMAL_WRITABLE_TRIPS=y
330 # CONFIG_TOSHIBA_BT_RFKILL is not set
331 CONFIG_TREE_RCU=y
332 CONFIG_TREE_SRCU=y
333 # CONFIG_UNWINDER_ORC is not set
334 CONFIG_UCS2_STRING=y
335 # CONFIG_UNISYSSPAR is not set
336 CONFIG_USB_OHCI_HCD_PCI=y
337 CONFIG_USB_STORAGE=y
338 CONFIG_USB_XHCI_HCD=y
339 CONFIG_USB_XHCI_PCI=y
340 # CONFIG_USB_XHCI_PLATFORM is not set
341 CONFIG_VGACON_SOFT_SCROLLBACK=y
342 # CONFIG_VGACON_SOFT_SCROLLBACK_PERSISTENT_ENABLE_BY_DEFAULT is not set
343 CONFIG_VGACON_SOFT_SCROLLBACK_SIZE=64
344 CONFIG_VIRTIO=y
345 CONFIG_VIRTIO_BALLOON=y
346 CONFIG_VIRTIO_BLK=y
347 CONFIG_VIRTIO_CONSOLE=y
348 CONFIG_VIRTIO_MMIO=y
349 # CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
350 CONFIG_VIRTIO_NET=y
351 CONFIG_VIRTIO_PCI=y
352 CONFIG_VIRTIO_PCI_LEGACY=y
353 # CONFIG_VIRTIO_VSOCKETS is not set
354 CONFIG_VIRT_DRIVERS=y
355 CONFIG_VMAP_STACK=y
356 # CONFIG_VMD is not set
357 CONFIG_VMWARE_BALLOON=y
358 CONFIG_VMWARE_PVSCSI=y
359 CONFIG_VMWARE_VMCI=y
360 CONFIG_VMWARE_VMCI_VSOCKETS=y
361 CONFIG_VMXNET3=y
362 CONFIG_VSOCKETS=y
363 CONFIG_VT_CONSOLE_SLEEP=y
364 CONFIG_WATCHDOG_CORE=y
365 # CONFIG_X86_5LEVEL is not set
366 CONFIG_X86_64=y
367 CONFIG_X86_64_SMP=y
368 CONFIG_X86_ACPI_CPUFREQ=y
369 # CONFIG_X86_ACPI_CPUFREQ_CPB is not set
370 CONFIG_X86_AMD_FREQ_SENSITIVITY=y
371 # CONFIG_X86_AMD_PLATFORM_DEVICE is not set
372 CONFIG_X86_CMOV=y
373 CONFIG_X86_CPUID=y
374 CONFIG_X86_DEBUGCTLMSR=y
375 CONFIG_X86_DEV_DMA_OPS=y
376 CONFIG_X86_DIRECT_GBPAGES=y
377 # CONFIG_X86_INTEL_LPSS is not set
378 # CONFIG_X86_INTEL_MEMORY_PROTECTION_KEYS is not set
379 # CONFIG_X86_INTEL_MPX is not set
380 CONFIG_X86_INTEL_PSTATE=y
381 CONFIG_X86_MINIMUM_CPU_FAMILY=64
382 # CONFIG_X86_PCC_CPUFREQ is not set
383 CONFIG_X86_PKG_TEMP_THERMAL=y
384 # CONFIG_X86_PMEM_LEGACY is not set
385 CONFIG_X86_PM_TIMER=y
386 # CONFIG_X86_POWERNOW_K8 is not set
387 # CONFIG_X86_VSYSCALL_EMULATION is not set
388 CONFIG_X86_X2APIC=y
389 # CONFIG_X86_X32 is not set
390 CONFIG_XEN=y
391 CONFIG_XENFS=y
392 CONFIG_XEN_512GB=y
393 CONFIG_XEN_ACPI=y
394 CONFIG_XEN_ACPI_PROCESSOR=y
395 CONFIG_XEN_AUTO_XLATE=y
396 # CONFIG_XEN_BACKEND is not set
397 CONFIG_XEN_BALLOON=y
398 CONFIG_XEN_BLKDEV_FRONTEND=y
399 CONFIG_XEN_COMPAT_XENFS=y
400 CONFIG_XEN_DEBUG_FS=y
401 CONFIG_XEN_DEV_EVTCHN=y
402 CONFIG_XEN_DOM0=y
403 CONFIG_XEN_EFI=y
404 CONFIG_XEN_FBDEV_FRONTEND=y
405 CONFIG_XEN_GNTDEV=y
406 CONFIG_XEN_GRANT_DEV_ALLOC=y
407 CONFIG_XEN_HAVE_PVMMU=y
408 CONFIG_XEN_HAVE_VPMU=y
409 # CONFIG_XEN_MCE_LOG is not set
410 CONFIG_XEN_NETDEV_FRONTEND=y
411 CONFIG_XEN_PCIDEV_FRONTEND=y
412 CONFIG_XEN_PRIVCMD=y
413 CONFIG_XEN_PV=y
414 CONFIG_XEN_PVH=y
415 CONFIG_XEN_PVHVM=y
416 CONFIG_XEN_PVHVM_SMP=y
417 CONFIG_XEN_PV_SMP=y
418 CONFIG_XEN_SAVE_RESTORE=y
419 CONFIG_XEN_SCRUB_PAGES=y
420 CONFIG_XEN_SCSI_FRONTEND=y
421 CONFIG_XEN_SYMS=y
422 CONFIG_XEN_SYS_HYPERVISOR=y
423 CONFIG_XEN_WDT=y
424 CONFIG_XEN_XENBUS_FRONTEND=y
425 CONFIG_XPS=y
426 CONFIG_ZONE_DMA32=y