Data61 ports seL4 microkernel to RISC-V architecture
Data61 has released an initial version of the seL4 microkernel for the RISC-V architecture
[]
Data61 has released an initial version of the seL4 microkernel for the RISC-V architecture