RK0 is a lean yet feature-rich, highly deterministic Real-Time Kernel for deeply embedded systems.
Current Version: 0.41.1-dev (ARMv6/7-M)
RK0 is a small real-time kernel built from established concepts. The originality lies in its relationship-oriented service model. The ultimate goal is to provide a real-time application programming model that is easy to reason about, along with services that handle pathological cases the application can’t.