!PYNQ/ZYBO Z7-20
仕事でも必要なので，ZYBO Z7-20向けにPYNQをビルド．

* https://pynq.readthedocs.io/en/v2.3/pynq_sd_card.html
* https://github.com/Xilinx/PYNQ/tree/master/sdbuild


具体的には，myboards/Z7-20とかっていうディレクトリを用意して
 ARCH_Z7-20 := arm
 BSP_Z7-20 :=
 BITSTREAM_Z7-20 := base.bit
 
 STAGE4_PACKAGES_Z7-20 := pynq ethernet
Z7-20.specという名前のファイルを用意．
適当にIPIでPSをインスタンス化したFPGA用のbitファイルをbase.bitという名前で同じフォルダにおいて，
SDK向けにエクスポートしたdesign_1_wrapper.hdfを，
myboards/Z7-20/petalinux_bsp/hardware_projectの下に配置して，
あとはpetalinuxでビルド．