[harryf]

I wonder if the same is true of Space X?

[monocasa]

Yeah. AFAIK they use FreeRTOS for the real deeply embedded stuff which would look very familiar to this discussion.