Hi,
configure options
[*] Xen guest support
CONFIG_XEN: This is the Linux Xen port. Enabling this will allow the kernel to boot in a paravirtualized environment under the Xen hypervisor.
[*] Xen PCI Frontend
CONFIG_XEN_PCIDEV_FRONTEND:
The PCI device frontend driver allows the kernel to import arbitrary
PCI devices from a PCI backend to support PCI driver domains
[*] Xen memory balloon driver
[*] Scrub pages before returning them to system
Xen /dev/xen/evtchn device
[*] Backend driver support
Xen filesystem
[*] Create compatibility mount point /proc/xen
[*] Create xen entries under /sys/hypervisor
userspace grant access device driver
User-space grant reference allocator driver
Xen PCI-device backend driver