Ubuntu上にPynquinoの開発環境を構築する

A. Xilinxツールのバージョン

Vivado 2017.4.1
Xilinx SDK 2017.4

B. PYNQライブラリをGitHubからクローンしてtop.bitを作成する

PYNQ/boards/Pynq-Z1/base/に移動してmakeするだけ。1時間くらいでtop.bitができる。

C. Address EditorでBRAMを拡張してtop.bitを再生成する

D. Arduino IOP用のBSPライブラリを生成する。

ここに従う
https://github.com/shohei/pynquino-bsp-library

E. サンプルとしてZsprinter-Pynquinoをビルドしてみる

ここに従う
https://github.com/shohei/Zsprinter-pynquino/blob/master/README.md