Security
Linux Foundation to host seL4, a secure operating system for critical computing systems
The Linux Foundation said today it’s hosting an initiative called the seL4 Foundation, a nonprofit organization that’s behind the development of the seL4 microkernel that aims to ensure the reliability, safety and security of…