StateOS
Free real-time operating system (RTOS) for microcontrollers
...StateOS emphasizes clarity and ease of integration with existing projects and provides a full set of synchronization primitives, timers, and message-passing tools. It's widely used in industrial and academic settings for prototyping and low-level firmware development.