pynq用にPetalinuxをビルド

http://dora.bk.tsukuba.ac.jp/~takeuchi/?電気回路%2Fzynq%2FPetalinux%20のビルド
pynqのhdfが必要
pynq用のGitHubレポジトリにあった
https://github.com/Xilinx/PYNQ/blob/master/Pynq-Z1/sdk/base.hdf
フォルダが必要とのことなので結局合成することに