A tiny real-time kernel focusing on formal reliability and simplicity - View it on GitHub