seL4 Micro-Kernel Working Towards A General-Purpose, Multi-Server OS
Written by Michael Larabel in Operating Systems on 6 February 2021 at 07:19 AM EST. 49 Comments
OPERATING SYSTEMS --
The seL4 micro-kernel that has been in development for over a decade saw the creation of the seL4 Foundation last year to further the project's goals. In 2020 the seL4 micro-kernel also added RISC-V as one of its primary CPU architectures.

The seL4 micro-kernel and its ecosystem continue on an upward trajectory even with everything going on in the world and competition from other open-source kernels. Today during the FOSDEM Online 2021 event there was a presentation by Professor Gernot Heiser on the seL4 advancements over the past year.

In addition to the establishing of the seL4 Foundation and adding the open-source RISC-V architecture as one of their primary architectures, the seL4 micro-kernel has been seeing a lot of work and also research into future work. Among the ambitious research goals is to create a "truly secure, general-purpose OS". This multi-server OS would be secure, support a range of use-cases and security policies, and perform comparable to monolithic systems.

Those wanting to learn more about the recent and ongoing research work into seL4 can see Gernot's PDF presentation from the virtual FOSDEM event. Those wanting to read up more on the seL4 micro-kernel this weekend can do so at sel4.systems.
Related News
About The Author
Author picture

Michael Larabel is the principal author of Phoronix.com and founded the site in 2004 with a focus on enriching the Linux hardware experience. Michael has written more than 20,000 articles covering the state of Linux hardware support, Linux performance, graphics drivers, and other topics. Michael is also the lead developer of the Phoronix Test Suite, Phoromatic, and OpenBenchmarking.org automated benchmarking software. He can be followed via Twitter or contacted via MichaelLarabel.com.

Popular News This Week