Brains behind iOS' secure microkernel start moving it to RISC-V

Unveil first code, joins giants in industry standard-club

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."