This is my project for the EBAZ4205 board. It is a $15 board from China that has a Zynq7000 SoC.
The EBAZ4205 is a control board that has been pulled from retired bitcoin ASIC miners. The board is equipped with a Xilinx Zynq 7000 SoC that was designed to communicate with the ASIC miner submodules. Since the bitcoin miners are being retired, these EBAZ4205 boards are being sold for less than $15 from China! (see link).
Since the directory that holds all setup scripts is over 5GB, I will link the repository I used to build my own SD card image. The documentation there is very detailed, and outlines exacly the process I followed. Blog post: link, Poky (Yocto) repository: link.
For programming the FPGA, I used vivado. Inside of the vivado directory, there is a project for the logic portion of the project. You should be able to open it with Vivado 2020.1 and generate a bitstream. HDL sources are found in the 'srcs' directory.