"MaRTE OS - ядро реального времени для встраиваемых приложений реализуещее "минимальное подмножество реального времени стандарта POSIX.13". Большая часть кода на Аде, небольшие части на Си и ассемблере."
Кстати они(UnixLite) довольно далеко продвинулись. И ничего плохого в это изобретении велосипеда не вижу. Больше операционок, хороших и разных, больше специалистов
Так QNX переименовали из Quantum UNIX именно по просьбе AT&T ;)
PS MarteOS - это не комповая ось =) Оно по типу eCos, для всяких роботов и устройств. Был один проестик - AdaOS.net, но он вроде загнулся, тк разработка с нуля компилятора Ады - уже проект масштаба ОС =) Двое человек ес-но не потянули...
Еще есть House - ось на Хаскелле! Быстродействие потрясает - как оффтоп хп на pentium 8mhz, зато есть гуй (!) и поддержка сети =)