Not an RTOS as is commonly understood but RTIC is nice. I think originally developed for robotics.

https://rtic.rs