A secure embedded operating system for microcontrollers - View it on GitHub