2017年8月22日0件のコメントうちで提供しているバイナリ(kernel)のソースをgithubに公開しました。提供されたU-Bootのソースも置いてあるので他のOSを動かしたいとか、起動処理を追いたいという方には参考になると思います。(私はU-Bootのソースは読んだだけでコンパイルは試してません)https://github.com/ichinomoto/dm200_debian_kernelhttps://github.com/ichinomoto/dm200_ubootrootfs作成用に作ったスクリプトなどもあるので、そちらは整理がつき次第上げます。