ComputerWorld Article: Data61 Ports SeL4 Microkernel To RISC-V Architecture

Data61 has released an initial version of the seL4 microkernel for the RISC-V architecture.
The port is only in prototype stage and according to release notes “currently only supports running in 64-bit mode without FPU or multicore support on the Spike simulation platform.”
“There is no verification for this platform,” the release notes add. The open source seL4 kernel was developed to be highly secure. It was the first general-purpose operating system kernel formally proved correct against its specification.
To read more, please visit: https://www.computerworld.com.au/article/640287/data61-ports-sel4-risc-v/