A real-time operating system for embedded devices.