HiRTOS: A high-integrity multi-core RTOS kernel written in SPARK Ada
jacques_chester Monday, December 08, 2025
Summary
HiRTOS is a high-performance real-time operating system (RTOS) designed for embedded systems, offering features like preemptive scheduling, inter-task communication, and real-time task management. It is open-source and intended to be lightweight, efficient, and easily customizable for a variety of embedded applications.
3
0
Summary
github.com