iOS’ Secure Microkernel turns to Open Source RISC-V Architecture
Last week, the Data61 division of the Commonwealth Scientific and Industrial Research Organisation (CSIRO) in Australia released the first open source instruction set (RISC-V) version of the seL4 microkernel. The SeL4 microkernel project has...
