MaRTE OS - Minimal Real-Time Operating System for Embedded Applications
MaRTE OS is a real-time kernel for embedded applications that follows the Minimal Real-Time POSIX.13 subset.
Most of its code is written in Ada with some C and assembler parts.
It allows software cross-development of Ada and C applications using the GNU compilers Gnat and Gcc. Supports x86.