aboutsummaryrefslogtreecommitdiffstats
path: root/target/linux/x86/xen_domu
diff options
context:
space:
mode:
Diffstat (limited to 'target/linux/x86/xen_domu')
-rw-r--r--target/linux/x86/xen_domu/config-default17
1 files changed, 11 insertions, 6 deletions
diff --git a/target/linux/x86/xen_domu/config-default b/target/linux/x86/xen_domu/config-default
index f2c8ba840f..b4db35dec2 100644
--- a/target/linux/x86/xen_domu/config-default
+++ b/target/linux/x86/xen_domu/config-default
@@ -1,11 +1,13 @@
# CONFIG_APM is not set
CONFIG_ARCH_ENABLE_SPLIT_PMD_PTLOCK=y
CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
+CONFIG_ARCH_WANT_BATCHED_UNMAP_TLB_FLUSH=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_HAVE_ARCH_HUGE_VMAP=y
CONFIG_HIBERNATE_CALLBACKS=y
# CONFIG_HIGHMEM64G is not set
CONFIG_HOTPLUG_CPU=y
@@ -19,10 +21,12 @@ CONFIG_IOMMU_HELPER=y
CONFIG_KERNEL_GZIP=y
# CONFIG_KERNEL_XZ is not set
# CONFIG_LGUEST_GUEST is not set
+CONFIG_LOCK_SPIN_ON_OWNER=y
# CONFIG_M486 is not set
CONFIG_MMU_NOTIFIER=y
CONFIG_MPENTIUM4=y
CONFIG_MUTEX_SPIN_ON_OWNER=y
+CONFIG_NEED_DMA_MAP_STATE=y
CONFIG_NET_FLOW_LIMIT=y
CONFIG_NR_CPUS=4
CONFIG_PARAVIRT=y
@@ -31,39 +35,41 @@ CONFIG_PARAVIRT_CLOCK=y
CONFIG_PARAVIRT_SPINLOCKS=y
# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
CONFIG_PCI_XEN=y
+CONFIG_PGTABLE_LEVELS=3
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_QUEUED_RWLOCKS=y
+CONFIG_QUEUED_SPINLOCKS=y
CONFIG_RCU_STALL_COMMON=y
CONFIG_RFS_ACCEL=y
CONFIG_RPS=y
+CONFIG_RWSEM_SPIN_ON_OWNER=y
CONFIG_SCHED_MC=y
CONFIG_SLUB_CPU_PARTIAL=y
CONFIG_SMP=y
-CONFIG_STOP_MACHINE=y
CONFIG_SWIOTLB=y
CONFIG_SWIOTLB_XEN=y
CONFIG_SYS_HYPERVISOR=y
CONFIG_TREE_RCU=y
-CONFIG_UNINLINE_SPIN_UNLOCK=y
-# CONFIG_VMWARE_BALLOON is not set
CONFIG_VT_CONSOLE_SLEEP=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_PMEM_LEGACY is not set
CONFIG_X86_TSC=y
CONFIG_X86_USE_PPRO_CHECKSUM=y
CONFIG_XEN=y
# CONFIG_XENFS is not set
+CONFIG_XEN_AUTO_XLATE=y
CONFIG_XEN_BALLOON=y
CONFIG_XEN_BLKDEV_FRONTEND=y
CONFIG_XEN_DEBUG_FS=y
@@ -71,11 +77,10 @@ CONFIG_XEN_DEBUG_FS=y
CONFIG_XEN_GNTDEV=m
CONFIG_XEN_GRANT_DEV_ALLOC=m
CONFIG_XEN_HAVE_PVMMU=y
-CONFIG_XEN_MAX_DOMAIN_MEMORY=64
+CONFIG_XEN_HAVE_VPMU=y
# CONFIG_XEN_NETDEV_FRONTEND is not set
# CONFIG_XEN_PCIDEV_FRONTEND is not set
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