Gernot Heiser

seL4 Microkernel Optimized for Security Gets Support of Linux Foundation

Retrieved on: 
Tuesday, April 7, 2020

The new Foundation aims to accelerate the development of seL4 and related technologies, and under the Linux Foundation will provide a global, independent and neutral organization for funding and steering the future evolution of seL4.

Key Points: 
  • The new Foundation aims to accelerate the development of seL4 and related technologies, and under the Linux Foundation will provide a global, independent and neutral organization for funding and steering the future evolution of seL4.
  • The seL4 Foundation provides a forum for developers to collaborate on growing and integrating the seL4 ecosystem.
  • "The Linux Foundation will support the seL4 Foundation and community by providing expertise and services to increase community engagement, contributors and adopters, helping to take the OS ecosystem to the next level," said Michael Dolan, VP of strategic programs, the Linux Foundation.
  • "With the help of the Linux Foundation we can broaden the community of contributors as well as adopters of seL4," said UNSW Scientia Professor Gernot Heiser, Chair of the new Foundation.