This is an old revision of the document!
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
The script can be downloaded from here:
#chmod +x build_boot_bin.sh
usage: build_boot_bin.sh system_top.hdf u-boot.elf [output-archive]
#source /opt/Xilinx/Vivado/201x.x/settings64.sh
NOTE: u-boot.elf
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