Comment by quanto

In a similar spirit, what are some progresses in performant RTOSes for robotics? There seems to be relatively less interest in that field.

No, ROS/ROS2 is not an operating system and is not what most people call performant software.