Embedded real-time operating system and development environment