diff options
Diffstat (limited to 'target')
| -rw-r--r-- | target/linux/x86/xen_domu/config-3.3 | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/target/linux/x86/xen_domu/config-3.3 b/target/linux/x86/xen_domu/config-3.3 deleted file mode 100644 index c34df71adc..0000000000 --- a/target/linux/x86/xen_domu/config-3.3 +++ /dev/null @@ -1,77 +0,0 @@ -# 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 -CONFIG_KERNEL_GZIP=y -# CONFIG_KERNEL_XZ is not set -# 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 |