Firmware frameworks for microcontrollers.
The RTOS on many modern motor controllers and sensor boards.
The POSIX-style RTOS underneath PX4 flight controllers.
ROS 2 for microcontrollers.