InkBox OS kernel and bootloader sources
InkBox OS root filesystem
InkBox OS' initialization program source