The seL4 micro-kernel that is focused on delivering robust security and performance is being ported to the RISC-V architecture…
Source: Phoronix – seL4 Microkernel Being Ported To RISC-V
Prime-WoW
My site, my way, no big company can change this
