Open-source product
MicrOS
A lightweight open-source real-time operating system for microcontrollers and small systems, designed to stay tiny, transparent, and hackable.
MicrOS is a public embedded-systems project built to make low-level operating-system concepts easier to inspect, explain, port, and extend without hiding them behind unnecessary weight.