Currently most avionics real-time operating systems for airplanes are proprietary and very specialized for safety assurance reasons

  • BaldProphet@kbin.social
    link
    fedilink
    arrow-up
    2
    ·
    1 year ago

    Given the open-source nature of the Linux kernel, it seems that a company could customize it to their needs in order to mitigate the majority of these concerns. Most of this sounds like a corporate shill making excuses rather than giving specific examples of deficiencies in the Linux kernel.