2012-05-17 06:41:00 +00:00
|
|
|
# CONFIG_APM is not set
|
|
|
|
|
CONFIG_ARCH_CPU_PROBE_RELEASE=y
|
|
|
|
|
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
|
|
|
|
|
# CONFIG_CPU_NOTIFIER_ERROR_INJECT is not set
|
|
|
|
|
CONFIG_CPU_RMAP=y
|
|
|
|
|
CONFIG_FREEZER=y
|
|
|
|
|
CONFIG_GENERIC_PENDING_IRQ=y
|
|
|
|
|
CONFIG_HIBERNATE_CALLBACKS=y
|
|
|
|
|
# CONFIG_HIGHMEM64G is not set
|
|
|
|
|
CONFIG_HOTPLUG_CPU=y
|
|
|
|
|
CONFIG_HVC_DRIVER=y
|
|
|
|
|
CONFIG_HVC_IRQ=y
|
|
|
|
|
CONFIG_HVC_XEN=y
|
|
|
|
|
CONFIG_IOMMU_HELPER=y
|
2012-08-15 09:20:12 +00:00
|
|
|
CONFIG_KERNEL_GZIP=y
|
|
|
|
|
# CONFIG_KERNEL_XZ is not set
|
2012-05-17 06:41:00 +00:00
|
|
|
# CONFIG_KVM_CLOCK is not set
|
|
|
|
|
# CONFIG_LGUEST_GUEST is not set
|
|
|
|
|
# CONFIG_M486 is not set
|
|
|
|
|
CONFIG_MMU_NOTIFIER=y
|
|
|
|
|
CONFIG_MPENTIUM4=y
|
|
|
|
|
CONFIG_MUTEX_SPIN_ON_OWNER=y
|
|
|
|
|
CONFIG_NR_CPUS=4
|
|
|
|
|
CONFIG_PARAVIRT=y
|
|
|
|
|
CONFIG_PARAVIRT_CLOCK=y
|
|
|
|
|
# CONFIG_PARAVIRT_DEBUG is not set
|
|
|
|
|
CONFIG_PARAVIRT_GUEST=y
|
|
|
|
|
CONFIG_PARAVIRT_SPINLOCKS=y
|
|
|
|
|
# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
|
|
|
|
|
CONFIG_PCI_XEN=y
|
|
|
|
|
CONFIG_PHYS_ADDR_T_64BIT=y
|
|
|
|
|
CONFIG_PM=y
|
|
|
|
|
# CONFIG_PM_DEBUG is not set
|
|
|
|
|
CONFIG_PM_SLEEP=y
|
|
|
|
|
CONFIG_PM_SLEEP_SMP=y
|
|
|
|
|
CONFIG_RFS_ACCEL=y
|
|
|
|
|
CONFIG_RPS=y
|
|
|
|
|
CONFIG_SCHED_MC=y
|
|
|
|
|
CONFIG_SMP=y
|
|
|
|
|
CONFIG_STOP_MACHINE=y
|
|
|
|
|
CONFIG_SWIOTLB=y
|
|
|
|
|
CONFIG_SWIOTLB_XEN=y
|
|
|
|
|
CONFIG_SYS_HYPERVISOR=y
|
|
|
|
|
CONFIG_TREE_RCU=y
|
|
|
|
|
CONFIG_USE_GENERIC_SMP_HELPERS=y
|
|
|
|
|
CONFIG_X86_32_SMP=y
|
|
|
|
|
# CONFIG_X86_BIGSMP is not set
|
|
|
|
|
CONFIG_X86_CMOV=y
|
|
|
|
|
CONFIG_X86_CMPXCHG64=y
|
|
|
|
|
CONFIG_X86_DEBUGCTLMSR=y
|
|
|
|
|
CONFIG_X86_HT=y
|
|
|
|
|
CONFIG_X86_INTERNODE_CACHE_SHIFT=7
|
|
|
|
|
CONFIG_X86_L1_CACHE_SHIFT=7
|
|
|
|
|
CONFIG_X86_MINIMUM_CPU_FAMILY=5
|
|
|
|
|
CONFIG_X86_PAE=y
|
|
|
|
|
CONFIG_X86_TSC=y
|
|
|
|
|
CONFIG_X86_USE_PPRO_CHECKSUM=y
|
|
|
|
|
CONFIG_XEN=y
|
|
|
|
|
# CONFIG_XENFS is not set
|
|
|
|
|
CONFIG_XEN_BALLOON=y
|
|
|
|
|
CONFIG_XEN_BLKDEV_FRONTEND=y
|
|
|
|
|
CONFIG_XEN_DEBUG_FS=y
|
|
|
|
|
# CONFIG_XEN_DEV_EVTCHN is not set
|
|
|
|
|
CONFIG_XEN_GNTDEV=m
|
|
|
|
|
CONFIG_XEN_GRANT_DEV_ALLOC=m
|
|
|
|
|
CONFIG_XEN_MAX_DOMAIN_MEMORY=64
|
|
|
|
|
# CONFIG_XEN_NETDEV_FRONTEND is not set
|
|
|
|
|
CONFIG_XEN_PCIDEV_FRONTEND=y
|
|
|
|
|
CONFIG_XEN_PRIVCMD=m
|
|
|
|
|
# CONFIG_XEN_PRIVILEGED_GUEST is not set
|
|
|
|
|
CONFIG_XEN_PVHVM=y
|
|
|
|
|
CONFIG_XEN_SAVE_RESTORE=y
|
|
|
|
|
CONFIG_XEN_SCRUB_PAGES=y
|
|
|
|
|
CONFIG_XEN_SYS_HYPERVISOR=y
|
|
|
|
|
# CONFIG_XEN_WDT is not set
|
|
|
|
|
CONFIG_XEN_XENBUS_FRONTEND=y
|
|
|
|
|
CONFIG_XPS=y
|
