10-05-2017, 03:55 PM
The User's Manual recommends using Petalinux to build the Xen kernel. I don't recall ever running Petalinux, so I'm assuming the xen.ub I've been using is a pre-compiled binary that ships with XZD. I need to customize Xen, but would prefer doing so without Petalinux: i.e., I'd prefer simply incorporating the Xen source into my project and configuring/building the standard Xen way. Is this possible, or does Petalinux contain some "secret sauce" that would be difficult to replace? If I can simply download and build the Xen source, what are the version constraints? I'm currently using the 2016.3 release of the Xilinx toolchain. If I do need to use Petalinux, is there an easy way to use it to build Xen only (and not Dom0 kernel, U-Boot, FSBL, etc...)?
Thanks,
Brett S.
Thanks,
Brett S.