Safety-critical realtime with Linux

Re:Safety-critical realtime with Linux by mechatronix00 on Saturday September 30, 2017 @09:44AM (#15372829)

I’ve read SpaceX uses Linux to fly Falcon and Dragon. If true, I wonder how they got happy with it for safety critical tasks. Or maybe those safety critical tasks get offloaded to microcontrollers with easier to audit codebases.

edit: reference to the article- https://lwn.net/Articles/540368/

[ Parent | on HN ]

Re:Safety-critical realtime with Linux by ficklepickle on Saturday September 30, 2017 @05:38PM (#15375102)

I would have thought they'd use Dragonfly BSD. Get it!?! Dragon FLY... 'Cuz it flies...

I'll show myself out.

[ Parent | on HN ]