xen kernel config example

$ grep -iE "xen|virt" /boot/config-$(uname -r) | sort
# CONFIG_DEBUG_VIRTUAL is not set
# CONFIG_PARAVIRT_DEBUG is not set
# CONFIG_PARAVIRT_SPINLOCKS is not set
# CONFIG_PARAVIRT_TIME_ACCOUNTING is not set
# CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set
# CONFIG_XEN_DEBUG_FS is not set
# Virtio drivers
# Xen driver support
CONFIG_FB_VIRTUAL=m
CONFIG_HVC_XEN=y
CONFIG_HVC_XEN_FRONTEND=y
CONFIG_HW_RANDOM_VIRTIO=m
CONFIG_INPUT_XEN_KBDDEV_FRONTEND=y
CONFIG_NETXEN_NIC=m
CONFIG_NET_9P_VIRTIO=m
CONFIG_PARAVIRT=y
CONFIG_PARAVIRT_CLOCK=y
CONFIG_PARAVIRT_GUEST=y
CONFIG_PCI_XEN=y
CONFIG_SCSI_VIRTIO=m
CONFIG_SND_VIRTUOSO=m
CONFIG_SWIOTLB_XEN=y
CONFIG_VIRTIO=m
CONFIG_VIRTIO_BALLOON=m
CONFIG_VIRTIO_BLK=m
CONFIG_VIRTIO_CONSOLE=m
CONFIG_VIRTIO_MMIO=m
CONFIG_VIRTIO_NET=m
CONFIG_VIRTIO_PCI=m
CONFIG_VIRTIO_RING=m
CONFIG_VIRTUALIZATION=y
CONFIG_VIRT_DRIVERS=y
CONFIG_VIRT_TO_BUS=y
CONFIG_XEN=y
CONFIG_XENFS=y
CONFIG_XEN_ACPI_PROCESSOR=m
CONFIG_XEN_BACKEND=y
CONFIG_XEN_BALLOON=y
CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
CONFIG_XEN_BLKDEV_BACKEND=y
CONFIG_XEN_BLKDEV_FRONTEND=y
CONFIG_XEN_COMPAT_XENFS=y
CONFIG_XEN_DEV_EVTCHN=y
CONFIG_XEN_DOM0=y
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_GNTDEV=y
CONFIG_XEN_GRANT_DEV_ALLOC=y
CONFIG_XEN_MAX_DOMAIN_MEMORY=500
CONFIG_XEN_NETDEV_BACKEND=y
CONFIG_XEN_NETDEV_FRONTEND=y
CONFIG_XEN_PCIDEV_BACKEND=y
CONFIG_XEN_PCIDEV_FRONTEND=y
CONFIG_XEN_PRIVCMD=y
CONFIG_XEN_PRIVILEGED_GUEST=y
CONFIG_XEN_PVHVM=y
CONFIG_XEN_SAVE_RESTORE=y
CONFIG_XEN_SCRUB_PAGES=y
CONFIG_XEN_SELFBALLOONING=y
CONFIG_XEN_SYS_HYPERVISOR=y
CONFIG_XEN_TMEM=y
CONFIG_XEN_WDT=y
CONFIG_XEN_XENBUS_FRONTEND=y