Last week, the Data61 division of Australia’s Commonwealth Scientific and Industrial Research Organisation (CSIRO) released the first RISC-V version of its seL4 microkernel. Sel4 has been a long-term project dating back to when Data61 was still its own agency (NICTA, National ICT Australia), and built a “provably-secure” microkernel.

Read full news article on The Register