Prex is a portable real-time operating system for embedded systems - View it on GitHub