2010-02-13 02:37:11 +02:00
|
|
|
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
|
|
|
|
|
CONFIG_FREEZER=y
|
|
|
|
|
CONFIG_GENERIC_PENDING_IRQ=y
|
|
|
|
|
CONFIG_HVC_DRIVER=y
|
|
|
|
|
CONFIG_HVC_IRQ=y
|
|
|
|
|
CONFIG_HVC_XEN=y
|
|
|
|
|
CONFIG_LOCK_KERNEL=y
|
|
|
|
|
CONFIG_MPENTIUM4=y
|
2010-02-13 22:15:05 +02:00
|
|
|
CONFIG_NR_CPUS=4
|
2010-02-13 02:37:11 +02:00
|
|
|
CONFIG_PARAVIRT_CLOCK=y
|
|
|
|
|
CONFIG_PARAVIRT_GUEST=y
|
2010-02-19 20:25:23 +02:00
|
|
|
CONFIG_PARAVIRT=y
|
2010-02-13 02:37:11 +02:00
|
|
|
CONFIG_PHYS_ADDR_T_64BIT=y
|
|
|
|
|
CONFIG_SCHED_MC=y
|
|
|
|
|
CONFIG_SMP=y
|
|
|
|
|
CONFIG_SPARSE_IRQ=y
|
|
|
|
|
CONFIG_STOP_MACHINE=y
|
|
|
|
|
CONFIG_SYS_HYPERVISOR=y
|
|
|
|
|
CONFIG_USE_GENERIC_SMP_HELPERS=y
|
|
|
|
|
CONFIG_X86_32_SMP=y
|
|
|
|
|
CONFIG_X86_CMOV=y
|
|
|
|
|
CONFIG_X86_CMPXCHG64=y
|
|
|
|
|
CONFIG_X86_DEBUGCTLMSR=y
|
|
|
|
|
CONFIG_X86_HT=y
|
|
|
|
|
CONFIG_X86_L1_CACHE_SHIFT=7
|
2010-02-13 23:06:50 +02:00
|
|
|
CONFIG_X86_MINIMUM_CPU_FAMILY=5
|
2010-02-13 02:37:11 +02:00
|
|
|
CONFIG_X86_PAE=y
|
|
|
|
|
CONFIG_X86_TRAMPOLINE=y
|
|
|
|
|
CONFIG_X86_TSC=y
|
|
|
|
|
CONFIG_X86_USE_PPRO_CHECKSUM=y
|
|
|
|
|
CONFIG_XEN_BALLOON=y
|
|
|
|
|
CONFIG_XEN_BLKDEV_FRONTEND=y
|
|
|
|
|
CONFIG_XEN_MAX_DOMAIN_MEMORY=8
|
|
|
|
|
CONFIG_XEN_SAVE_RESTORE=y
|
|
|
|
|
CONFIG_XEN_SCRUB_PAGES=y
|
|
|
|
|
CONFIG_XEN_SYS_HYPERVISOR=y
|
2010-02-19 20:25:23 +02:00
|
|
|
CONFIG_XEN=y
|
