Tag: Data61
Australian Open Source SeL4 Microkernel Project To Expand Global Reach
SeL4 has been developed by Data61, the digital specialist arm of Australia’s Commonwealth Scientific and Industrial Research (CSIRO)
The original creators of seL4...