ZYBO Z7-20でPYNQを使う からだいぶ時間がたって手順がちょっと変わってしまっていました．そこで，あらためて，公式ドキュメントを参考に環境を構築して，ZYBo Z7-10/Z7-20で動作するPYNQ環境を作るまでの手順を紹介します．
作業環境のOSは Ubuntu 22.04で，PYNQのビルド環境はVirtualBox上の Ubuntu 20.04 上に構築します．セットアップするPYNQは，3.0.1 です．ビルドに使用するVivadoとPetaLinuxは2022.1です．https://www.xilinx.com/support/download.html からダウンロードしておきます．