Here you'll learn how to build Bazel for Pynq-Z1 (image v2.4). A similar flow can be run directly on the board (native build). However, this guide is based on QEMU flow, which is running faster and cleaner than a native build on the board.
The same flow can also target aarch64 (ZCU104). You just have to work with
the correct image (instead of Pynq-Z1-2.4.img
, work with ZCU104-2.4.img
).