I am trying to get a PCIe NVMe SSD to work on the ZCU102 evaluation board (running 2019.1 Petalinux) when Petalinux is built as a Xen Dom0. On boot Linux hangs (times out) on the nmve driver probe and then removes the nvme driver. When I build Petalinux without Xen everything works as expected. So I'm assuming there needs to be some device tree magic performed in order to get this to work. Does anyone know what the magic is?