RISC-V now Available with Data61’s seL4 Security Enforcement
CSIRO or the Commonwealth Scientific and Industrial Research Organization’s Data61 now has proof of implementation correctness of the open-source seL4 microkernel for the RISC-V instruction-set arch...