target/linux/x86/xen_domu/config-3.3

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