Note: I suppose the boot.bin
file is produced by the U-Boot build process.
The U-Boot build process cannot generate a full-fledged boot.bin
. It can only put its own SPL (and a PMUFW, on ZynqMP).
There are several ways to get your bitstream loaded. Some options, from simplest to hardest:
- Store the bitstream in a separate file or a separate flash address
and let U-Boot load it using the
fpga load
command
- Store the bitstream in a separate file and load it from Linux
(
cat bitstream.bit > /dev/xdevcfg
); but ensure this is done before
drivers for devices in FPGA are probed
- Generate
boot.bin
using https://github.com/antmicro/zynq-mkbootimage,
"an open source replacement of the Xilinx's bootgen application".
- Use
bootgen
from Xilinx.
Expect troubles in integrating it in any build process, though.