1 # CONFIG_APM is not set
2 CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
3 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
4 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
6 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
8 CONFIG_GENERIC_PENDING_IRQ=y
9 CONFIG_HIBERNATE_CALLBACKS=y
10 # CONFIG_HIGHMEM64G is not set
15 CONFIG_HVC_XEN_FRONTEND=y
16 CONFIG_HYPERVISOR_GUEST=y
17 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
20 # CONFIG_KERNEL_XZ is not set
21 # CONFIG_LGUEST_GUEST is not set
22 # CONFIG_M486 is not set
25 CONFIG_MUTEX_SPIN_ON_OWNER=y
26 CONFIG_NET_FLOW_LIMIT=y
29 CONFIG_PARAVIRT_CLOCK=y
30 # CONFIG_PARAVIRT_DEBUG is not set
31 CONFIG_PARAVIRT_SPINLOCKS=y
32 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
34 CONFIG_PHYS_ADDR_T_64BIT=y
36 # CONFIG_PM_DEBUG is not set
39 CONFIG_RCU_STALL_COMMON=y
43 CONFIG_SLUB_CPU_PARTIAL=y
48 CONFIG_SYS_HYPERVISOR=y
50 CONFIG_UNINLINE_SPIN_UNLOCK=y
51 # CONFIG_VMWARE_BALLOON is not set
52 CONFIG_VT_CONSOLE_SLEEP=y
54 # CONFIG_X86_BIGSMP is not set
56 CONFIG_X86_CMPXCHG64=y
57 CONFIG_X86_DEBUGCTLMSR=y
59 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
60 CONFIG_X86_L1_CACHE_SHIFT=7
61 CONFIG_X86_MINIMUM_CPU_FAMILY=5
64 CONFIG_X86_USE_PPRO_CHECKSUM=y
66 # CONFIG_XENFS is not set
68 CONFIG_XEN_BLKDEV_FRONTEND=y
70 # CONFIG_XEN_DEV_EVTCHN is not set
72 CONFIG_XEN_GRANT_DEV_ALLOC=m
73 CONFIG_XEN_HAVE_PVMMU=y
74 CONFIG_XEN_MAX_DOMAIN_MEMORY=64
75 # CONFIG_XEN_NETDEV_FRONTEND is not set
76 # CONFIG_XEN_PCIDEV_FRONTEND is not set
78 # CONFIG_XEN_PRIVILEGED_GUEST is not set
80 CONFIG_XEN_SAVE_RESTORE=y
81 CONFIG_XEN_SCRUB_PAGES=y
82 CONFIG_XEN_SYS_HYPERVISOR=y
83 # CONFIG_XEN_WDT is not set
84 CONFIG_XEN_XENBUS_FRONTEND=y