Tag: microkernel
The Linux Foundation Throws Weight Behind Secure Microkernel
Mike Vizard | | embedded system, Linus Torvalds, microkernel, open source, operating system, The Linux FoundationThe 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 ...