this post was submitted on 03 Jul 2023
18 points (100.0% liked)

Linux

47119 readers
1676 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

cross-posted from: https://programming.dev/post/368257

Thoughts?

you are viewing a single comment's thread
view the rest of the comments
[–] Serinus@lemmy.ml 3 points 1 year ago (2 children)

A bunch of bullshit so that Boeing can sell the shit they want to sell.

I'd be interested in hearing what they are using for safety-critical OS. Notice they said "software engineering" and not "OS", which makes me think they're running on Windows.

Most Windows drivers also run in kernel mode.^[https://learn.microsoft.com/en-us/windows-hardware/drivers/gettingstarted/user-mode-and-kernel-mode]

[–] blarbasaurus@lemmy.world 3 points 1 year ago (1 children)

For avionics, I doubt that they would use a traditional os. As far as I'm aware, Microsoft doesn't have safety-certified builds of Windows with a real time kernel. Certifying a Linux build would also be a huge and costly endeavor. What they are likely using is a certified RTOS, like Vxworks, RTEMS, ThreadX, SafeRTOS, etc., or even Ada with the Ravenscar profile. You don't really "develop" applications for these, you instead incorporate them as libraries inside your application and compile the RTOS into your application, and then run it on bare metal. Infotainment systems on the other hand will use more traditional OSes.

A lot of the presentation seems to be rather typical of the aerospace industry, which is all about safety. Im not too convinced that this is due to Boeing being Boeing, but rather that DO-178 compliance is a bitch, ITAR can be another bitch, and certifying not only a single build of the Linux kernel but also an entire distro build will be a superhuman effort. At best it'll take a long time with a sizeable team. Not sure that would Boeing be filling to fund that.

Yeah, coming from nuclear, all of the buzzwords make sense. Ofc, nuclear has decided blindly trusting windows for everything is cyber security so... 😂😭

[–] solidsnail@programming.dev 2 points 1 year ago

I doubt they run on windows tbh. If they take issue with with monolithic design of Linux, then windows would be an even bigger problem.

Also, most of the devices in question are probably small controllers, incapable of running windows. (Microsoft are struggling to run it on arm so...)