Article 4YWFR seL4 Microkernel Being Ported To RISC-V

seL4 Microkernel Being Ported To RISC-V

by
from Phoronix on (#4YWFR)
The seL4 micro-kernel that is focused on delivering robust security and performance is being ported to the RISC-V architecture...
External Content
Source RSS or Atom Feed
Feed Location http://www.phoronix.com/rss.php
Feed Title Phoronix
Feed Link https://www.phoronix.com/
Reply 0 comments