@ikwzmさんのUltraZedシリーズ

Vengineerの戯言 : Twitter、Slideshare
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

@ikwzm さんのUltraZed-EGシリーズ

UltraZed 向け Debian GNU/Linux の構築(イントロ編)
UltraZed 向け Debian GNU/Linux の構築(Boot Loader編)
UltraZed 向け Debian GNU/Linux の構築(Sample FPGA Design編)
UltraZed 向け Debian GNU/Linux の構築(FSBL編)
UltraZed 向け Debian GNU/Linux の構築(PMUFW編)
UltraZed 向け Debian GNU/Linux の構築(BL31編)
UltraZed 向け Debian GNU/Linux の構築(U-Boot編)
UltraZed 向け Debian GNU/Linux の構築(BOOT.BIN編)
UltraZed 向け Debian GNU/Linux の構築(Linux Kernel編)
UltraZed 向け Debian GNU/Linux の構築(Debian9 Root File System編)
UltraZed 向け Debian GNU/Linux ブートイメージの提供
UltraZed 向け Debian GNU/Linux で FPGA をコンフィギュレーション

UltraZed 向け Debian GNU/Linux で Vivado-HLS を使って合成した回路を動かす

おまけ、
UltraZed で SD Card が書き込み不可になってしまう問題

これに、dmabuf ができれば、

12/2(土)に開催したFPGA+SoC+Linux実践勉強会と同じことができますよ。

Zynq MPSoCは、でも udmabuf をサポートしてくれました（ただし、CacheはCPU制御）
UltraZed 向け Debian GNU/Linux ブートイメージの提供