Earlier quoted context omitted.
> the rockets fly with a heavily customized Linux install My jaw hit the floor the first time I heard this. Why Linux instead of an RTOS?? Apparently Tesla's autopilot also runs Linux, which seems like a huge accident waiting to happen (pun intended).
Any substantiated argument why using Linux "is a huge accident waiting to happen"? Did you know that Linux can handle hard RT, if you use the right hardware (and maybe the right kernel/patches).?
So yes, I'm sure that Linux can work. But it will be difficult to prove to auditors that it will always work.