RTEMS

embedded brains GmbH

is a professional open source real-time operating system with high flexibility that enables maximum performance with minimal resource requirements.