Do you know SeL4 microkernel? The Linux Foundation works with Data61, a digital specialist division of its National Science Foundation Australias, of the Commonwealth Scientific and Industrial Research Organization (CSIRO), to promote the new seL4 operating system kernel. But seL4 is not related to Linux.
However, the SeL4 microkernel can theoretically be used as base for Linux and other Unix-related operating systems.
For example, it is being used in Gnu Hurd's operating system Richard M Stallman. Now, with the latest version and wider support, seL4 can be deployed more widely. But let's see more details about the kernel it is designed for better safety.
This nucleus is a member of the family L4 microkernel.
SeL4 is a mathematically proven correct operating system kernel that does not contain errors. It is designed to enforce strong security features.
Data61 claims to be the first operating system in the world to be mathematically proven, and the only operating system to have proven security capabilities and very high performance. In the future it will support very critical real-time systems.
Ο Linux Foundation will participate in the new body SeL4 Foundation.
"He will support the SeL4 foundation and community by providing expertise and services to increase community engagement, contributors and system adopters, helping the operating system environment reach the next level," said Michael Dolan,
Founding members include Data61, UNSW Sydney, HENSOLDT Cyber GmbH, Ghost Locomotion, Cog Systems and DornerWorks.
SeL4 will be used in critical real-time computing systems where maximum security is required. It is expected to be used in areas such as avionics, autonomous vehicles, medical devices, critical infrastructure and of course defense.
In a statement, Carl L. Nerup, CEO of Cog Systems, said:
"SeL4 has set a new standard for high reliability for integrated solutions on connected devices. It enables us to offer commercial solutions that meet the stringent requirements associated with formal verification to provide a certified approach that meets the highest standards of security and protection on the market today. ”
