Operating System for a System on Chip - View it on GitHub