Hello People,
So I am trying to build a Petalinux project with XEN Hypervisor for TE0820-02 module on TE0703-05 Carrier Board with prebuilt hardware description file downloaded from Trenz Website
Followed the instructions from http://www.wiki.xilinx.com/Building+Xen+Hypervisor+with+Petalinux+2018.1
Copied the device tree from https://wiki.trenz-electronic.de/display/PD/TE0820+Test+Board
Copied the xen-overlay.dtsi file from ZU102 bsp.
Built the project successfully. Petalinux is booting and working fine. But XEN does not boot into DOM0.
I am guessing this is because the kernel is not mapping into the physical memory. I need to edit the xen-overlay.dtsi file according to my TE0820-02 hardware settings. But I don't know how.
So I wanted to know,
1. Is there any support from Trenz0820 board for XEN Hypervisor.
2. Can anyone help me on how to edit the xen-overlay.dtsi file according to the TE0820-02 hardware settings.
Thanks in advance
Rez