A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips - View it on GitHub