The eChronos Real-Time Operating System

eChronos is a small, versatile, high-assurance real-time operating system (OS) for embedded micro-controllers.