Skip to main content
In the News

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

By April 18, 2018May 12th, 2021No Comments

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:

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.