MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications. Main characteristics of MaRTE OS kernel:

• Supports mixed language applications in Ada and C.
• Supported architectures: x86 (32bits), Raspberry Pi, Linux.
• Full Ada tasking support (GNAT run-time library adapted to MaRTE)
• Offers the services defined in POSIX.13: pthreads, mutexes, condvars, ...
• All services have a time-bounded response (including dynamic memory allocation with TLSF).
• Single memory address space shared by the multi-thread application and MaRTE OS.
• Available under the GNU General Public License 2.
• Based on the AdaCore GNU toolchain.
• Implements most of the Ada2012 Real-Time Annex

See more about maRTE OS