CONFIG_XEN=y
CONFIG_XEN_PRIVILEGED_GUEST=y
CONFIG_XEN_BACKEND=y
CONFIG_XEN_BLKDEV_BACKEND=y
CONFIG_XEN_BLKDEV_TAP=m
CONFIG_XEN_BLKDEV_FRONTEND=y
CONFIG_HVC_XEN=y
CONFIG_XEN_NETDEV_BACKEND=y
CONFIG_XEN_NETDEV_FRONTEND=y
CONFIG_XEN_NETDEV_LOOPBACK=m
CONFIG_XEN_PCIDEV_BACKEND=y
CONFIG_XEN_PCIDEV_BACKEND_VPCI=y
CONFIG_XEN_PCIDEV_FRONTEND=y
# CONFIG_XEN_DISABLE_SERIAL is not set
CONFIG_XEN_SCSI_BACKEND=m
CONFIG_XEN_SCSI_FRONTEND=m
# CONFIG_XEN_COMPAT_030002_AND_LATER is not set
# CONCIF_XEN_COMPAT_030004_AND_LATER is not set
CONFIG_XEN_COMPAT_030100_AND_LATER=y
# CONFIG_XEN_COMPAT_LATEST_ONLY is not set