RK0 is a lean yet feature-rich, highly deterministic Real-Time Kernel for deeply embedded systems.
Current Version: 0.20.1-dev (ARMv6/7-M)
RK0 isn’t just another small RTOS; it offers a distinctive design approach that starts with a straightforward real-time model, leaving no room for ambiguity. This results in well-defined service contracts optimised for worst-case scenarios. The application programmer expresses execution progress conditions, making runtime behaviour analysis easier and minimising accidental complexity. If deterministic responsiveness is non-negotiable for your application, RK0 is definitely worth exploring.