BeRTOS

BeRTOS - это операционная система реального времени для встраиваемых систем. Она поддерживает множество микропроцессоров и микроконтроллеров и даже PC. Подробности на сайте системы.