RISC-V International and seL4 Foundation Announce New Security Milestone

| Announcements, What's New | No Comments
SAN FRANCISCO, May 5, 2021 – Today, the seL4 Foundation and RISC-V International announced that the verified seL4 microkernel on the RV64 architecture has been proved down to the executable…

Stay Connected With RISC-V

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