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