1 # CONFIG_APM is not set
2 CONFIG_ARCH_CPU_PROBE_RELEASE=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
19 # CONFIG_KERNEL_XZ is not set
20 # CONFIG_LGUEST_GUEST is not set
21 # CONFIG_M486 is not set
24 CONFIG_MUTEX_SPIN_ON_OWNER=y
27 CONFIG_PARAVIRT_CLOCK=y
28 # CONFIG_PARAVIRT_DEBUG is not set
29 CONFIG_PARAVIRT_SPINLOCKS=y
30 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
32 CONFIG_PHYS_ADDR_T_64BIT=y
34 # CONFIG_PM_DEBUG is not set
37 CONFIG_RCU_STALL_COMMON=y
45 CONFIG_SYS_HYPERVISOR=y
47 CONFIG_USE_GENERIC_SMP_HELPERS=y
48 # CONFIG_VMWARE_BALLOON is not set
50 # CONFIG_X86_BIGSMP is not set
52 CONFIG_X86_CMPXCHG64=y
53 CONFIG_X86_DEBUGCTLMSR=y
55 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
56 CONFIG_X86_L1_CACHE_SHIFT=7
57 CONFIG_X86_MINIMUM_CPU_FAMILY=5
60 CONFIG_X86_USE_PPRO_CHECKSUM=y
62 # CONFIG_XENFS is not set
64 CONFIG_XEN_BLKDEV_FRONTEND=y
66 # CONFIG_XEN_DEV_EVTCHN is not set
68 CONFIG_XEN_GRANT_DEV_ALLOC=m
69 CONFIG_XEN_HAVE_PVMMU=y
70 CONFIG_XEN_MAX_DOMAIN_MEMORY=64
71 # CONFIG_XEN_NETDEV_FRONTEND is not set
72 CONFIG_XEN_PCIDEV_FRONTEND=y
74 # CONFIG_XEN_PRIVILEGED_GUEST is not set
76 CONFIG_XEN_SAVE_RESTORE=y
77 CONFIG_XEN_SCRUB_PAGES=y
78 CONFIG_XEN_SYS_HYPERVISOR=y
79 # CONFIG_XEN_WDT is not set
80 CONFIG_XEN_XENBUS_FRONTEND=y