Hello,
I'm trying to boot up Xen on UltraZed-EG Starter Kit.
Petalinux 2017.2 works with the new BSP file.
Then, I tried to build Xen for the board according to the link below.
http://www.wiki.xilinx.com/Building+the+Xen+Hypervisor+with+PetaLinux+2017.1
It says that "xen-overlay.dtsi" is required, but Petalinux project of UltraZed does not have.
So I would like to ask:
- Is it possible that self-coding the dtsi file?
Is there reference document for Xen dtsi file? - Do you have a plan to provide the dtsi file for Xen just as ZCU102 board has.
Thank you.
Ryosuke