From your Linux terminal run:
make
Once the overlay generation is finished, the corresponding bitstream and hwh files are copied to this directory.
Pre-compiled binary files are not provided under an OSI-approved open source license, because Xilinx is incapable of providing 100% corresponding sources.
Binary files are provided under the following license
Copyright© 2022 Xilinx