Tag: microkernel

Foundation Proposes Advancing eBPF Adoption Across Multiple OSes
The eBPF Foundation, which proposes to advance adoption of an approach that enables sandbox programs to run faster at the kernel level, is being launched today as an arm of the Linux ...

The Linux Foundation Throws Weight Behind Secure Microkernel
The Linux Foundation announced today it will host the seL4 Foundation, the nonprofit organization established by Data61, an arm of Commonwealth Scientific and Industrial Research Organization (CSIRO) in Australia that has been ...