Apple Silicon|Intel

seL4 Microkernel Being Ported To RISC-V

Phoronix | Feb. 3, 2020, 11:45 p.m. | Original

The seL4 micro-kernel that is focused on delivering robust security and performance is being ported to the RISC-V architecture...

Linux 5.5-ck1 Released With Latest MuQSS Scheduler Fedora 32 Install Media Unlikely To Lose Weight But Fedora 33 Could Be Zstd'ed