This section assumes that the following prerequisites have been satisfied:
- You have PetaLinux tools software platform ready for building a Linux system customized to your hardware platform. For more information, see Importing Hardware Configuration.
- You have created a PetaLinux project from the reference BSP.
- There are Xen related prebuilts in the pre-built/linux/xen directory, which are xen.dtb, xen-openamp.dtb, xen-qemu.dtb, xen-Image, and xen-rootfs.cpio.gz.