Security Researchers, Mathematicians and Aviation gurus from Boeing and Rockwell Collins joined a team of dedicated NICTA researchers to developed an open source, unhackable bug-free MicroKernel named “”.seL4″ Linux kernel is already being used to protect Drones, Helicopters, medical devices and power stations from hacking attacks. Researchers behind kernel development claimed that seL4 will keep systems separate to protect them. SeL4 promises high-performance with robust Security mechanisms that are even harder to Crack.
Source: https://thehackernews.com/2015/09/linux-secure-operating-system.html