1 # CONFIG_APM is not set
2 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
4 CONFIG_CPU_SUP_CENTAUR=y
5 CONFIG_CPU_SUP_CYRIX_32=y
7 CONFIG_CPU_SUP_TRANSMETA_32=y
8 CONFIG_CPU_SUP_UMC_32=y
10 CONFIG_GENERIC_PENDING_IRQ=y
11 CONFIG_HAVE_PERF_EVENTS=y
18 # CONFIG_KERNEL_BZIP2 is not set
19 # CONFIG_KERNEL_LZMA is not set
20 # CONFIG_KERNEL_LZO is not set
21 # CONFIG_KERNEL_XZ is not set
22 # CONFIG_KVM_CLOCK is not set
23 # CONFIG_KVM_GUEST is not set
24 # CONFIG_LGUEST_GUEST is not set
26 # CONFIG_M486 is not set
30 CONFIG_PARAVIRT_CLOCK=y
31 CONFIG_PARAVIRT_GUEST=y
32 CONFIG_PARAVIRT_SPINLOCKS=y
33 CONFIG_PHYS_ADDR_T_64BIT=y
37 # CONFIG_SCHED_SMT is not set
41 CONFIG_SYS_HYPERVISOR=y
42 CONFIG_USE_GENERIC_SMP_HELPERS=y
43 # CONFIG_VMI is not set
45 # CONFIG_X86_BIGSMP is not set
47 CONFIG_X86_CMPXCHG64=y
48 CONFIG_X86_DEBUGCTLMSR=y
49 # CONFIG_X86_DS is not set
51 CONFIG_X86_L1_CACHE_SHIFT=7
52 CONFIG_X86_MINIMUM_CPU_FAMILY=5
54 CONFIG_X86_TRAMPOLINE=y
56 CONFIG_X86_USE_PPRO_CHECKSUM=y
58 # CONFIG_XENFS is not set
60 CONFIG_XEN_BLKDEV_FRONTEND=y
62 # CONFIG_XEN_DEV_EVTCHN is not set
63 CONFIG_XEN_MAX_DOMAIN_MEMORY=8
64 # CONFIG_XEN_NETDEV_FRONTEND is not set
65 CONFIG_XEN_SAVE_RESTORE=y
66 CONFIG_XEN_SCRUB_PAGES=y
67 CONFIG_XEN_SYS_HYPERVISOR=y