kernel-xenU.config

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