[jonititan]

Nuttx is an RTOS that sees a lot of use for drones and other control systems. https://nuttx.apache.org/ Posix compliant and similar feel to Linux.

[pjmlp]

It is also used as microkernel for Meadow boards running .NET.