Обзор отечественных компаний-производителей операционных систем

Ещё можно добавить ЗОСРВ Нейтрино и её подвиды. В основе там, как я понимаю, лежит QNX.