An operating system for embedded systems