News for hackers. Stuff that matters.
Re:The Current Challenges with Using Linux on Airplanes by jpm_sd on Saturday July 01, 2023 @08:34AM (#36549435)
Aviation: INTEGRITY, LynxOS, or other certified closed source RTOS.

Automotive:

https://en.m.wikipedia.org/wiki/AUTOSAR

Re:The Current Challenges with Using Linux on Airplanes by amelius on Saturday July 01, 2023 @08:53AM (#36549583)
Why don't they simply run the timing-critical stuff on a bunch of MCUs?