Pynq-Cora-Z7-10

Pre-built SD card image can be downloaded from the release assets.

Build inside docker

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>

Missing python modules

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 PyYAML

Download/fetch fails

Simply run make ... again.