In the News

seL4 Microkernel Being Ported To RISC-V | Michael Larabel, Phoronix

By RISC-V Community NewsFebruary 6, 2020April 28th, 2021No Comments

The seL4 micro-kernel that is focused on delivering robust security and performance is being ported to the RISC-V architecture.
article: https://www.phoronix.com/scan.php?page=news_item&px=seL4-Coming-To-RISC-V

Previous PostCreate A Research Network To Boost The Development Of Open Source Hardware | La Vanguardia
Next PostRISC-V Calista Redmond: Exclusive Interview For AT | Andatux Isaac, ArchiTecnologia

Stay Connected With RISC-V

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

Copyright © 2023 RISC-V International®. All rights reserved. RISC-V, RISC-V International, and the RISC-V logos are trademarks of RISC-V International. For trademark usage guidelines, please see our Brand Guidelines and Privacy Policy

seL4 Microkernel Being Ported To RISC-V | Michael Larabel, Phoronix

Previous PostCreate A Research Network To Boost The Development Of Open Source Hardware | La Vanguardia

Next PostRISC-V Calista Redmond: Exclusive Interview For AT | Andatux Isaac, ArchiTecnologia

Stay Connected With RISC-V