MarteOS
From AdaCommons
Description from the MarteOS homepage:
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 develope Multi-Thread Real-Time applications.

