2 ms·
Airbus is also using either seL4 or some other microkernels in aerospace applications.
by mshockwave 3y ago
Airbus is also using either seL4 or some other microkernels in aerospace applications.
- Veserv 3y agoAs 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.