Topic: microkernel

Linux Foundation to host seL4 microkernel

The Linux Foundation has announced plans to host the seL4 Foundation, a nonprofit organization designed to provide support for the seL4 microkernel.  The seL4 microkernel is an operating system kernel focused on the security, safety and reliability of real-world critical computer systems. The goals of the foundation have been to provide longevity for seL4, grow … continue reading

Get access to this and other exclusive articles for FREE!

There's no charge and it only takes a few seconds.

Sign up now!