Pre-built SD card image can be downloaded from the release assets.
Install tools and docker as per https://pynq.readthedocs.io/en/latest/pynq_sd_card.html
This repo must be accessible from within the docker container. E.g. clone it in /workspace.
make BOARDDIR=<path to this repo>
If python modules are missing, simply install them in the container:
sudo apt-get update
sudo apt-get diffstat
sudo apt-get lz4 zstd
sudo pip3 install PyYAMLSimply run make ... again.
Copy PYNQ/system-top.dts from this repo to /workspace/PYNQ/sdbuild/build/Pynq-Cora-Z7-07S/petalinux_project/components/plnx_workspace/device-tree/device-tree/.