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 and u-boot.elf
The script can be downloaded from here:
NOTE: After downloading the script you need to make it executable
$ chmod +x build_boot_bin.sh
usage: build_boot_bin.sh system_top.hdf u-boot.elf [output-archive]
u-boot.elfare required parameters.
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