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.