1 # CONFIG_ACPI_CUSTOM_DSDT is not set
2 # CONFIG_APM is not set
3 # CONFIG_DEBUG_BUGVERBOSE is not set
4 # CONFIG_KERNEL_LZMA is not set
5 # CONFIG_KVM_CLOCK is not set
6 # CONFIG_KVM_GUEST is not set
7 # CONFIG_LGUEST_GUEST is not set
8 # CONFIG_M386 is not set
9 # CONFIG_NETWORK_FILESYSTEMS is not set
10 # CONFIG_PARAVIRT_SPINLOCKS is not set
11 # CONFIG_PERF_COUNTERS is not set
12 # CONFIG_RWSEM_GENERIC_SPINLOCK is not set
13 # CONFIG_SCHED_SMT is not set
14 # CONFIG_VMI is not set
15 # CONFIG_X86_BIGSMP is not set
16 # CONFIG_X86_DS is not set
17 # CONFIG_X86_EXTENDED_PLATFORM is not set
18 # CONFIG_X86_PLATFORM_DEVICES is not set
19 # CONFIG_XENFS is not set
20 # CONFIG_XEN_DEBUG_FS is not set
21 # CONFIG_XEN_DEV_EVTCHN is not set
22 # CONFIG_XEN_NETDEV_FRONTEND is not set
23 CONFIG_ACPI_CONTAINER=y
24 CONFIG_ACPI_HOTPLUG_CPU=y
25 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
27 CONFIG_CPU_IDLE_GOV_LADDER=y
29 CONFIG_GENERIC_PENDING_IRQ=y
30 CONFIG_HAVE_KERNEL_LZO=y
31 CONFIG_HAVE_PERF_COUNTERS=y
33 CONFIG_HPET_EMULATE_RTC=y
44 CONFIG_PARAVIRT_CLOCK=y
45 CONFIG_PARAVIRT_GUEST=y
47 CONFIG_PHYS_ADDR_T_64BIT=y
52 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
57 CONFIG_SYS_HYPERVISOR=y
60 CONFIG_USE_GENERIC_SMP_HELPERS=y
64 CONFIG_X86_CMPXCHG64=y
66 CONFIG_X86_DEBUGCTLMSR=y
69 CONFIG_X86_L1_CACHE_SHIFT=7
70 CONFIG_X86_MINIMUM_CPU_FAMILY=4
73 CONFIG_X86_TRAMPOLINE=y
75 CONFIG_X86_USE_PPRO_CHECKSUM=y
76 CONFIG_X86_WP_WORKS_OK=y
80 CONFIG_XEN_BLKDEV_FRONTEND=y
81 CONFIG_XEN_MAX_DOMAIN_MEMORY=8
82 CONFIG_XEN_SAVE_RESTORE=y
83 CONFIG_XEN_SCRUB_PAGES=y
84 CONFIG_XEN_SYS_HYPERVISOR=y