1 # CONFIG_APM is not set
2 CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
3 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
4 CONFIG_ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH=y
5 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
7 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
9 CONFIG_GENERIC_PENDING_IRQ=y
10 CONFIG_HAVE_ARCH_HUGE_VMAP=y
11 CONFIG_HIBERNATE_CALLBACKS=y
12 # CONFIG_HIGHMEM64G is not set
17 CONFIG_HVC_XEN_FRONTEND=y
18 CONFIG_HYPERVISOR_GUEST=y
19 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
22 # CONFIG_KERNEL_XZ is not set
23 # CONFIG_LGUEST_GUEST is not set
24 CONFIG_LOCK_SPIN_ON_OWNER=y
25 # CONFIG_M486 is not set
28 CONFIG_MUTEX_SPIN_ON_OWNER=y
29 CONFIG_NEED_DMA_MAP_STATE=y
30 CONFIG_NET_FLOW_LIMIT=y
33 CONFIG_PARAVIRT_CLOCK=y
34 # CONFIG_PARAVIRT_DEBUG is not set
35 CONFIG_PARAVIRT_SPINLOCKS=y
36 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
38 CONFIG_PGTABLE_LEVELS=3
39 CONFIG_PHYS_ADDR_T_64BIT=y
41 # CONFIG_PM_DEBUG is not set
44 CONFIG_QUEUED_RWLOCKS=y
45 CONFIG_QUEUED_SPINLOCKS=y
46 CONFIG_RCU_STALL_COMMON=y
49 CONFIG_RWSEM_SPIN_ON_OWNER=y
51 CONFIG_SLUB_CPU_PARTIAL=y
55 CONFIG_SYS_HYPERVISOR=y
57 CONFIG_VT_CONSOLE_SLEEP=y
59 # CONFIG_X86_BIGSMP is not set
61 CONFIG_X86_CMPXCHG64=y
62 CONFIG_X86_DEBUGCTLMSR=y
63 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
64 CONFIG_X86_L1_CACHE_SHIFT=7
65 CONFIG_X86_MINIMUM_CPU_FAMILY=5
67 # CONFIG_X86_PMEM_LEGACY is not set
69 CONFIG_X86_USE_PPRO_CHECKSUM=y
71 # CONFIG_XENFS is not set
72 CONFIG_XEN_AUTO_XLATE=y
74 CONFIG_XEN_BLKDEV_FRONTEND=y
76 # CONFIG_XEN_DEV_EVTCHN is not set
78 CONFIG_XEN_GRANT_DEV_ALLOC=m
79 CONFIG_XEN_HAVE_PVMMU=y
80 CONFIG_XEN_HAVE_VPMU=y
81 # CONFIG_XEN_NETDEV_FRONTEND is not set
82 # CONFIG_XEN_PCIDEV_FRONTEND is not set
85 CONFIG_XEN_SAVE_RESTORE=y
86 CONFIG_XEN_SCRUB_PAGES=y
87 CONFIG_XEN_SCSI_FRONTEND=y
88 CONFIG_XEN_SYS_HYPERVISOR=y
89 # CONFIG_XEN_WDT is not set
90 CONFIG_XEN_XENBUS_FRONTEND=y