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
17 # CONFIG_KVM_CLOCK is not set
18 # CONFIG_KVM_GUEST is not set
19 # CONFIG_LGUEST_GUEST is not set
21 # CONFIG_M486 is not set
25 CONFIG_PARAVIRT_CLOCK=y
26 CONFIG_PARAVIRT_GUEST=y
27 CONFIG_PARAVIRT_SPINLOCKS=y
28 CONFIG_PHYS_ADDR_T_64BIT=y
32 # CONFIG_SCHED_SMT is not set
36 CONFIG_SYS_HYPERVISOR=y
37 CONFIG_USE_GENERIC_SMP_HELPERS=y
38 # CONFIG_VMI is not set
40 # CONFIG_X86_BIGSMP is not set
42 CONFIG_X86_CMPXCHG64=y
43 CONFIG_X86_DEBUGCTLMSR=y
44 # CONFIG_X86_DS is not set
46 CONFIG_X86_L1_CACHE_SHIFT=7
47 CONFIG_X86_MINIMUM_CPU_FAMILY=5
49 CONFIG_X86_TRAMPOLINE=y
51 CONFIG_X86_USE_PPRO_CHECKSUM=y
53 # CONFIG_XENFS is not set
55 CONFIG_XEN_BLKDEV_FRONTEND=y
57 # CONFIG_XEN_DEV_EVTCHN is not set
58 CONFIG_XEN_MAX_DOMAIN_MEMORY=8
59 # CONFIG_XEN_NETDEV_FRONTEND is not set
60 CONFIG_XEN_SAVE_RESTORE=y
61 CONFIG_XEN_SCRUB_PAGES=y
62 CONFIG_XEN_SYS_HYPERVISOR=y