RK0 is a lean yet feature-rich, highly deterministic Real-Time Kernel for deeply embedded systems.
📦Current Version: 0.19.2-dev (ARMv6/7-M)
RK0 is centred on the idea that concurrency needs are the unique commonality preserved across real-time systems. Not only are these needs common, but their worst-case behaviour is a kernel concern. A simple real-time mental model, along with purposeful services and an expressive API, helps the programmer to reason about execution progress and responsiveness.
RK0 