Read the original article: Data61’s seL4 security enforcement now available to the RISC-V ecosystem
CSIRO has announced the completion of the proof of implementation correctness of the open-source seL4 microkernel for the RISC-V ISA.
Read the original article: Data61’s seL4 security enforcement now available to the RISC-V ecosystem