diff options
Diffstat (limited to 'target/linux/x86/xen_domu/config-3.10')
| -rw-r--r-- | target/linux/x86/xen_domu/config-3.10 | 81 |
1 files changed, 81 insertions, 0 deletions
diff --git a/target/linux/x86/xen_domu/config-3.10 b/target/linux/x86/xen_domu/config-3.10 new file mode 100644 index 0000000..4b7c80f --- /dev/null +++ b/target/linux/x86/xen_domu/config-3.10 @@ -0,0 +1,81 @@ +# CONFIG_APM is not set +CONFIG_ARCH_CPU_PROBE_RELEASE=y +CONFIG_ARCH_PHYS_ADDR_T_64BIT=y +# CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set +CONFIG_CPU_RMAP=y +# CONFIG_DEBUG_HOTPLUG_CPU0 is not set +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_HVC_XEN_FRONTEND=y +CONFIG_HYPERVISOR_GUEST=y +CONFIG_IOMMU_HELPER=y +CONFIG_KERNEL_GZIP=y +# CONFIG_KERNEL_XZ 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_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_RCU_STALL_COMMON=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_VMWARE_BALLOON is not set +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_HAVE_PVMMU=y +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 |