Vivado® Design Suite or PetaLinux can be used to generate
the BOOT.BIN file. For boot image creation using the
Vivado Design Suite , refer to the
Zynq
UltraScale+ MPSoC: Embedded Design Tutorial (UG1209). For PetaLinux, refer to the
PetaLinux Tools Documentation: Reference Guide (UG1144).