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
10 CONFIG_FB_DEFERRED_IO=y
11 CONFIG_FB_SYS_COPYAREA=y
12 CONFIG_FB_SYS_FILLRECT=y
14 CONFIG_FB_SYS_IMAGEBLIT=y
15 # CONFIG_FB_VESA is not set
17 CONFIG_GENERIC_PENDING_IRQ=y
18 CONFIG_HAVE_ARCH_HUGE_VMAP=y
19 CONFIG_HIBERNATE_CALLBACKS=y
20 # CONFIG_HIGHMEM64G is not set
25 CONFIG_HVC_XEN_FRONTEND=y
26 CONFIG_HYPERVISOR_GUEST=y
27 CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
30 # CONFIG_KERNEL_XZ is not set
31 # CONFIG_LGUEST_GUEST is not set
32 CONFIG_LOCK_SPIN_ON_OWNER=y
33 # CONFIG_M486 is not set
36 CONFIG_MUTEX_SPIN_ON_OWNER=y
37 CONFIG_NEED_DMA_MAP_STATE=y
38 CONFIG_NET_FLOW_LIMIT=y
41 CONFIG_PARAVIRT_CLOCK=y
42 # CONFIG_PARAVIRT_DEBUG is not set
43 CONFIG_PARAVIRT_SPINLOCKS=y
44 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
46 CONFIG_PGTABLE_LEVELS=3
47 CONFIG_PHYS_ADDR_T_64BIT=y
49 # CONFIG_PM_DEBUG is not set
52 CONFIG_QUEUED_RWLOCKS=y
53 CONFIG_QUEUED_SPINLOCKS=y
54 CONFIG_RCU_STALL_COMMON=y
57 CONFIG_RWSEM_SPIN_ON_OWNER=y
62 CONFIG_SYS_HYPERVISOR=y
64 CONFIG_VT_CONSOLE_SLEEP=y
66 # CONFIG_X86_BIGSMP is not set
68 CONFIG_X86_CMPXCHG64=y
69 CONFIG_X86_DEBUGCTLMSR=y
70 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
71 CONFIG_X86_L1_CACHE_SHIFT=7
72 CONFIG_X86_MINIMUM_CPU_FAMILY=5
74 # CONFIG_X86_PMEM_LEGACY is not set
76 CONFIG_X86_USE_PPRO_CHECKSUM=y
79 CONFIG_XEN_AUTO_XLATE=y
81 CONFIG_XEN_BLKDEV_FRONTEND=y
82 CONFIG_XEN_COMPAT_XENFS=y
84 CONFIG_XEN_DEV_EVTCHN=y
85 CONFIG_XEN_FBDEV_FRONTEND=y
87 CONFIG_XEN_GRANT_DEV_ALLOC=y
88 CONFIG_XEN_HAVE_PVMMU=y
89 CONFIG_XEN_HAVE_VPMU=y
90 CONFIG_XEN_NETDEV_FRONTEND=y
91 CONFIG_XEN_PCIDEV_FRONTEND=y
94 CONFIG_XEN_SAVE_RESTORE=y
95 CONFIG_XEN_SCRUB_PAGES=y
96 CONFIG_XEN_SCSI_FRONTEND=y
97 CONFIG_XEN_SYS_HYPERVISOR=y
98 # CONFIG_XEN_WDT is not set
99 CONFIG_XEN_XENBUS_FRONTEND=y