注意(2017年7月29日追記) この記事は Linux Kernel 4.4 時点に投稿したものであり、古い内容が含まれています。Linux Kernel 4.10 以降、FPGA 関連は大きく進歩しました。詳しくは「Linux Kernel 4.10 でのFPGAのサポート事情」を参照してください。 はじめに これまでの経過 次の記事で紹介したように、Linux Kernel 4.4.4 からFPGA Manager Framework が追加されました。 「FPGA+SoC+LinuxでFPGA Managerを試してみた」@Qiita 実際にどのようになっているのか、どのように使うのかを調べるために、人柱的な感じで試用してみました。これらの実施例は次の記事を参考にしてください。 「FPGA+SoC+Linux+Device Tree Overlay+FPGA Manager(ブート