Security News > 2020 > April > The seL4 microkernel: Optimized for security and endorsed by the Linux Foundation
The Linux Foundation is a fundamental organization for the promotion of open source software and has officially endorsed the seL4 microkernel.
To further boost seL4, the Linux Foundation will host seL4 Foundation, which is a non-profit organization, established by Data61.
The new seL4 Foundation's goal is to accelerate the commercial development of seL4 and it's related technologies.
According to Michael Dolan, VP of strategic programs for the Linux Foundation, "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." Dolan adds, "The open governance and standards-based model will provide a neutral, mature, and trustworthy framework to help advance an operating system that is readily deployable and optimized for security."
Gregg Wildes, innovation leader and partnership manager of DornerWorks, Ltd., said, "The seL4 proof provides a secure foundation to answer the growing need for cyber-security. By joining the seL4 Foundation, DornerWorks can do more to help accelerate customer adoption of seL4 as the trusted software base for their embedded products."