kernel-xenU.config

   1 CONFIG_X86_XEN=y
   2 CONFIG_X86_64_XEN=y
   3 # CONFIG_PCI_GOXEN_FE is not set
   4 CONFIG_XEN_PCIDEV_FRONTEND=y
   5 # CONFIG_XEN_PCIDEV_FE_DEBUG is not set
   6 CONFIG_XEN=y
   7 CONFIG_XEN_INTERFACE_VERSION=0x00030101
   8 # XEN
   9 # CONFIG_XEN_PRIVILEGED_GUEST is not set
  10 CONFIG_XEN_UNPRIVILEGED_GUEST=y
  11 CONFIG_XEN_PCIDEV_BACKEND=y
  12 CONFIG_XEN_PCIDEV_BACKEND_VPCI=y
  13 # CONFIG_XEN_PCIDEV_BACKEND_PASS is not set
  14 # CONFIG_XEN_PCIDEV_BE_DEBUG is not set
  15 CONFIG_XEN_BLKDEV_BACKEND=y
  16 # CONFIG_XEN_BLKDEV_TAP_BE is not set
  17 CONFIG_XEN_NETDEV_BACKEND=y
  18 # CONFIG_XEN_NETDEV_PIPELINED_TRANSMITTER is not set
  19 CONFIG_XEN_NETDEV_LOOPBACK=y
  20 # CONFIG_XEN_TPMDEV_BACKEND is not set
  21 CONFIG_XEN_BLKDEV_FRONTEND=y
  22 CONFIG_XEN_NETDEV_FRONTEND=y
  23 # CONFIG_XEN_BLKDEV_TAP is not set
  24 # CONFIG_XEN_TPMDEV_FRONTEND is not set
  25 CONFIG_XEN_SCRUB_PAGES=y
  26 CONFIG_XEN_DISABLE_SERIAL=y
  27 CONFIG_XEN_SYSFS=y