1 # CONFIG_APM is not set
2 CONFIG_ARCH_CPU_PROBE_RELEASE=y
3 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
4 # CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
7 CONFIG_GENERIC_PENDING_IRQ=y
8 CONFIG_HIBERNATE_CALLBACKS=y
9 # CONFIG_HIGHMEM64G is not set
16 # CONFIG_KERNEL_XZ is not set
17 # CONFIG_KVM_CLOCK is not set
18 # CONFIG_LGUEST_GUEST is not set
19 # CONFIG_M486 is not set
22 CONFIG_MUTEX_SPIN_ON_OWNER=y
25 CONFIG_PARAVIRT_CLOCK=y
26 # CONFIG_PARAVIRT_DEBUG is not set
27 CONFIG_PARAVIRT_GUEST=y
28 CONFIG_PARAVIRT_SPINLOCKS=y
29 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
31 CONFIG_PHYS_ADDR_T_64BIT=y
33 # CONFIG_PM_DEBUG is not set
43 CONFIG_SYS_HYPERVISOR=y
45 CONFIG_USE_GENERIC_SMP_HELPERS=y
47 # CONFIG_X86_BIGSMP is not set
49 CONFIG_X86_CMPXCHG64=y
50 CONFIG_X86_DEBUGCTLMSR=y
52 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
53 CONFIG_X86_L1_CACHE_SHIFT=7
54 CONFIG_X86_MINIMUM_CPU_FAMILY=5
57 CONFIG_X86_USE_PPRO_CHECKSUM=y
59 # CONFIG_XENFS is not set
61 CONFIG_XEN_BLKDEV_FRONTEND=y
63 # CONFIG_XEN_DEV_EVTCHN is not set
65 CONFIG_XEN_GRANT_DEV_ALLOC=m
66 CONFIG_XEN_MAX_DOMAIN_MEMORY=64
67 # CONFIG_XEN_NETDEV_FRONTEND is not set
68 CONFIG_XEN_PCIDEV_FRONTEND=y
70 # CONFIG_XEN_PRIVILEGED_GUEST is not set
72 CONFIG_XEN_SAVE_RESTORE=y
73 CONFIG_XEN_SCRUB_PAGES=y
74 CONFIG_XEN_SYS_HYPERVISOR=y
75 # CONFIG_XEN_WDT is not set
76 CONFIG_XEN_XENBUS_FRONTEND=y