I am looking for a way to build xen straight into Linux for Zynq UltraScale+MPSoc without using Petalinux. The board that I\'m using is the zcu102 (rev1.1).
