The boot image BOOT.BIN is build using the bootgen tool which requires several input files.
Instructions on how to build the Hardware Description File (HDF) handover file can be found here:
All further steps are lengthy explained on the Xilinx Wiki Page
For ease of use we provide a bash shell script which allows building BOOT.BIN from system_top.hdf, u-boot.elf and either bl31.elf or a path to the Arm Trusted Firmware repository
The script can be downloaded from here:
NOTE: After downloading the script you need to make it executable
$ chmod +x build_zynqmp_boot_bin.sh
usage: build_zynqmp_boot_bin.sh system_top.hdf u-boot.elf (download | bl31.elf | <path-to-arm-trusted-firmware-source>) [output-archive]
u-boot.elfare required parameters.
download(which will git clone the ATF repository),
bl31.elfor the file system
pathto the Arm Trusted Firmware source code repository
nameparameter can be given to tar.gz the output directory. (
$ source /opt/Xilinx/Vivado/201x.x/settings64.sh
export PATH=$PATH:/cygdrive/c/Xilinx/Vivado/201x.x/bin export PATH=$PATH:/cygdrive/c/Xilinx/SDK/201x.x/bin
For those who don't want to build u-boot themselves.
The u-boot.elf can be extracted from the project folder on the SD Card image, bootgen_sysfiles.tgz