HiRTOS
HiRTOS is a SPARK Ada RTOS and separation kernel with a minimal runtime, offering a complete, platform-agnostic solution for embedded developers.
HiRTOS is a high-integrity Real-Time Operating System (RTOS) kernel and separation kernel written in SPARK Ada. It is implemented on top of a minimal platform-independent Ada runtime and a porting layer that provides a platform-agnostic interface.
Many embedded developers attempt to write their own operating systems, but few achieve the level of completeness that German has with HiRTOS. This project's availability is a plus for the Alire ecosystem.