kernel26-xen-dom0/config.xen.x86_64

   1 CONFIG_X86_64_XEN=y
   2 CONFIG_X86_XEN_MCE=y
   3 CONFIG_XEN_PCIDEV_FRONTEND=y
   4 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set
   5 CONFIG_NETXEN_NIC=m
   6 # CONFIG_TCG_XEN is not set
   7 CONFIG_XEN=y
   8 CONFIG_XEN_INTERFACE_VERSION=0x00030207
   9 # XEN
  10 CONFIG_XEN_PRIVILEGED_GUEST=y
  11 # CONFIG_XEN_UNPRIVILEGED_GUEST is not set
  12 CONFIG_XEN_PRIVCMD=y
  13 CONFIG_XEN_XENBUS_DEV=y
  14 CONFIG_XEN_NETDEV_ACCEL_SFC_UTIL=m
  15 CONFIG_XEN_BACKEND=y
  16 CONFIG_XEN_BLKDEV_BACKEND=y
  17 CONFIG_XEN_BLKDEV_TAP=m
  18 CONFIG_XEN_BLKDEV_TAP2=y
  19 CONFIG_XEN_BLKBACK_PAGEMAP=y
  20 CONFIG_XEN_NETDEV_BACKEND=y
  21 CONFIG_XEN_NETDEV_TX_SHIFT=8
  22 # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
  23 CONFIG_XEN_NETDEV_LOOPBACK=m
  24 CONFIG_XEN_PCIDEV_BACKEND=y
  25 CONFIG_XEN_PCIDEV_BACKEND_VPCI=y
  26 # CONFIG_XEN_PCIDEV_BACKEND_PASS is not set
  27 # CONFIG_XEN_PCIDEV_BACKEND_SLOT is not set
  28 # CONFIG_XEN_PCIDEV_BACKEND_CONTROLLER is not set
  29 # CONFIG_XEN_PCIDEV_BE_DEBUG is not set
  30 # CONFIG_XEN_TPMDEV_BACKEND is not set
  31 CONFIG_XEN_SCSI_BACKEND=m
  32 CONFIG_XEN_USB_BACKEND=m
  33 CONFIG_XEN_BLKDEV_FRONTEND=y
  34 CONFIG_XEN_NETDEV_FRONTEND=y
  35 CONFIG_XEN_NETDEV_ACCEL_SFC_FRONTEND=m
  36 CONFIG_XEN_SCSI_FRONTEND=m
  37 CONFIG_XEN_USB_FRONTEND=m
  38 CONFIG_XEN_USB_FRONTEND_HCD_STATS=y
  39 CONFIG_XEN_GRANT_DEV=y
  40 CONFIG_XEN_FRAMEBUFFER=y
  41 CONFIG_XEN_KEYBOARD=y
  42 # CONFIG_XEN_DISABLE_SERIAL is not set
  43 CONFIG_XEN_SYSFS=y
  44 CONFIG_XEN_NR_GUEST_DEVICES=256
  45 # CONFIG_XEN_COMPAT_030002_AND_LATER is not set
  46 # CONFIG_XEN_COMPAT_030004_AND_LATER is not set
  47 CONFIG_XEN_COMPAT_030100_AND_LATER=y
  48 CONFIG_XEN_COMPAT_030400_AND_LATER=n
  49 # CONFIG_XEN_COMPAT_030200_AND_LATER is not set
  50 # CONFIG_XEN_COMPAT_030300_AND_LATER is not set
  51 # CONFIG_XEN_COMPAT_LATEST_ONLY is not set
  52 CONFIG_XEN_COMPAT=0x030100
  53 CONFIG_XEN_SMPBOOT=y
  54 CONFIG_XEN_DEVMEM=y
  55 CONFIG_XEN_BALLOON=y
  56 CONFIG_XEN_SCRUB_PAGES=y
  57 CONFIG_PCI_GUESTDEV=y
  58 CONFIG_PCI_IOMULTI=y
  59 CONFIG_PCI_RESERVE=y
  60 # CONFIG_SFC_RESOURCE is not set
  61 CONFIG_XEN_USB_FRONTEND_HCD_PM=n
  62 CONFIG_DEBUG_KMEMLEAK=n