Create the Linux images using PetaLinux. The Linux images must be created in sync with the hardware configuration for this design. You will also need to configure PetaLinux to create images for SD boot.
Repeat steps 2 to 4 as described in Creating a PetaLinux Image to update the device tree and build Linux images using PetaLinux.
Follow instructions in Verifying the Image on the ZCU102 Board to verify the images.
Make sure you have the following files for creating the Linux domain:
fsbl.elf
pmufw.elf
bl31.elf
rootfs.ext4
Image
system.dtb