These options are all enabled by default in PetaLinux projects.
XEN Device Tree Requirements
The DTB file for XEN, should be the same as for plain Linux, with a few entries added to the chosen node. A working XEN DTB will be created by PetaLinux. The xen,dom0-bootargs corresponds to the Linux Kernel command line. Here is an example:
Additional Commercial Support and Professional Services
For more complex Dom0 topics such as the introduction of alternative non-Linux Dom0 OS, or optimizations in Dom0 Linux to improve solution boot time, footprint or performance; Xilinx recommends our Premier Partner DornerWorks .