target/linux/x86/xen_domu/config-3.10

   1 # CONFIG_APM is not set
   2 CONFIG_ARCH_CPU_PROBE_RELEASE=y
   3 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
   4 # CONFIG_BOOTPARAM_HOTPLUG_CPU0 is not set
   5 CONFIG_CPU_RMAP=y
   6 # CONFIG_DEBUG_HOTPLUG_CPU0 is not set
   7 CONFIG_FREEZER=y
   8 CONFIG_GENERIC_PENDING_IRQ=y
   9 CONFIG_HIBERNATE_CALLBACKS=y
  10 # CONFIG_HIGHMEM64G is not set
  11 CONFIG_HOTPLUG_CPU=y
  12 CONFIG_HVC_DRIVER=y
  13 CONFIG_HVC_IRQ=y
  14 CONFIG_HVC_XEN=y
  15 CONFIG_HVC_XEN_FRONTEND=y
  16 CONFIG_HYPERVISOR_GUEST=y
  17 CONFIG_IOMMU_HELPER=y
  18 CONFIG_KERNEL_GZIP=y
  19 # CONFIG_KERNEL_XZ is not set
  20 # CONFIG_LGUEST_GUEST is not set
  21 # CONFIG_M486 is not set
  22 CONFIG_MMU_NOTIFIER=y
  23 CONFIG_MPENTIUM4=y
  24 CONFIG_MUTEX_SPIN_ON_OWNER=y
  25 CONFIG_NR_CPUS=4
  26 CONFIG_PARAVIRT=y
  27 CONFIG_PARAVIRT_CLOCK=y
  28 # CONFIG_PARAVIRT_DEBUG is not set
  29 CONFIG_PARAVIRT_SPINLOCKS=y
  30 # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
  31 CONFIG_PCI_XEN=y
  32 CONFIG_PHYS_ADDR_T_64BIT=y
  33 CONFIG_PM=y
  34 # CONFIG_PM_DEBUG is not set
  35 CONFIG_PM_SLEEP=y
  36 CONFIG_PM_SLEEP_SMP=y
  37 CONFIG_RCU_STALL_COMMON=y
  38 CONFIG_RFS_ACCEL=y
  39 CONFIG_RPS=y
  40 CONFIG_SCHED_MC=y
  41 CONFIG_SMP=y
  42 CONFIG_STOP_MACHINE=y
  43 CONFIG_SWIOTLB=y
  44 CONFIG_SWIOTLB_XEN=y
  45 CONFIG_SYS_HYPERVISOR=y
  46 CONFIG_TREE_RCU=y
  47 CONFIG_USE_GENERIC_SMP_HELPERS=y
  48 # CONFIG_VMWARE_BALLOON is not set
  49 CONFIG_X86_32_SMP=y
  50 # CONFIG_X86_BIGSMP is not set
  51 CONFIG_X86_CMOV=y
  52 CONFIG_X86_CMPXCHG64=y
  53 CONFIG_X86_DEBUGCTLMSR=y
  54 CONFIG_X86_HT=y
  55 CONFIG_X86_INTERNODE_CACHE_SHIFT=7
  56 CONFIG_X86_L1_CACHE_SHIFT=7
  57 CONFIG_X86_MINIMUM_CPU_FAMILY=5
  58 CONFIG_X86_PAE=y
  59 CONFIG_X86_TSC=y
  60 CONFIG_X86_USE_PPRO_CHECKSUM=y
  61 CONFIG_XEN=y
  62 # CONFIG_XENFS is not set
  63 CONFIG_XEN_BALLOON=y
  64 CONFIG_XEN_BLKDEV_FRONTEND=y
  65 CONFIG_XEN_DEBUG_FS=y
  66 # CONFIG_XEN_DEV_EVTCHN is not set
  67 CONFIG_XEN_GNTDEV=m
  68 CONFIG_XEN_GRANT_DEV_ALLOC=m
  69 CONFIG_XEN_HAVE_PVMMU=y
  70 CONFIG_XEN_MAX_DOMAIN_MEMORY=64
  71 # CONFIG_XEN_NETDEV_FRONTEND is not set
  72 CONFIG_XEN_PCIDEV_FRONTEND=y
  73 CONFIG_XEN_PRIVCMD=m
  74 # CONFIG_XEN_PRIVILEGED_GUEST is not set
  75 CONFIG_XEN_PVHVM=y
  76 CONFIG_XEN_SAVE_RESTORE=y
  77 CONFIG_XEN_SCRUB_PAGES=y
  78 CONFIG_XEN_SYS_HYPERVISOR=y
  79 # CONFIG_XEN_WDT is not set
  80 CONFIG_XEN_XENBUS_FRONTEND=y
  81 CONFIG_XPS=y