Re:ACM Software System Award Given to seL4 Microkernel
by mshockwave on Saturday May 06, 2023 @01:33PM
(#35843503)
Airbus is also using either seL4 or some other microkernels in aerospace applications.
[ Parent
| on HN ]
Re:ACM Software System Award Given to seL4 Microkernel
by Veserv on Saturday May 06, 2023 @02:52PM
(#35844257)
As far as I am aware seL4 is not used in any DO-178 Level A systems. As far as I am aware Airbus is using Integrity-178 microkernel which is the industry standard in commercial aerospace and is used in almost every commercial airliner and military aircraft.