The eChronos real-time operating system - View it on GitHub