MaRTE OS is a real-time operating system written in C language that follows the recommendations of a subset of the POSIX 13 standard. It allows to run embedded applications written in Ada. MaRTE OS available under the GNU General Public License. This operating system works either directly on PC or emulator.