diff options
Diffstat (limited to 'target/linux/x86/xen_domu/config-default')
-rw-r--r-- | target/linux/x86/xen_domu/config-default | 75 |
1 files changed, 0 insertions, 75 deletions
diff --git a/target/linux/x86/xen_domu/config-default b/target/linux/x86/xen_domu/config-default deleted file mode 100644 index cd885f3a6d..0000000000 --- a/target/linux/x86/xen_domu/config-default +++ /dev/null @@ -1,75 +0,0 @@ -# CONFIG_APM is not set -CONFIG_ARCH_CPU_PROBE_RELEASE=y -CONFIG_ARCH_PHYS_ADDR_T_64BIT=y -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 -# 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_GUEST=y -CONFIG_PARAVIRT_SPINLOCKS=y -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_SCHED_SMT is not set -CONFIG_SMP=y -CONFIG_SPARSE_IRQ=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 is not set -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=128 -# CONFIG_XEN_NETDEV_FRONTEND is not set -CONFIG_XEN_PCIDEV_FRONTEND=y -CONFIG_XEN_PLATFORM_PCI=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 |