From your Linux terminal run:
makeOnce the overlay generation is finished, the corresponding bitstream and hwh files are copied to the overlay folder.
To rebuild this overlay you need a valid license to use the HDMI IP
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© 2021 Xilinx