Re:SpaceX Crew Demo-1 Mission [video]
by monocasa on Sunday March 03, 2019 @12:56AM
(#19292981)
Wow, that's really silly that someone went out, made a hard realtime system using Linux as the lowest priority level, and then called it RTLinux. RTLinux for years had meant Linux with the PREEMPT_RT patches.
In any case, SpaceX doesn't use Linux for hard realtime systems.
And I probably wouldn't use the RTLinux for a real hard realtime system if I were making the choice. Putting all of the realtime code in the same memory domain as the rest of the Linux kernel is a huge surface area for corruption. I'd probably use sel4 with a virtualized Linux to get the same semantics.
In any case, SpaceX doesn't use Linux for hard realtime systems.
> They do not have hard realtime requirements
https://lwn.net/Articles/540368/
And I probably wouldn't use the RTLinux for a real hard realtime system if I were making the choice. Putting all of the realtime code in the same memory domain as the rest of the Linux kernel is a huge surface area for corruption. I'd probably use sel4 with a virtualized Linux to get the same semantics.