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