Announce

Download

announce@sel4.systems

May 2021

1 participants
1 discussions

RISC-V International and seL4 Foundation Announce New Security Milestone
by Announcements about seL4 -- low volume list 05 May '21

05 May '21

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 code by CSIRO’s Data61, thanks to funding provided by HENSOLDT Cyber GmbH. This guarantees that the seL4 microkernel on RV64 will operate to specification even when built with an untrusted C compiler, GCC. For details please see: seL4 news: https://sel4.systems/news.pml.html RISC-V International announcement: https://riscv.org/announcements/2021/05/risc-v-international-and-sel4-found… My blog explaining what it means: https://microkerneldude.wordpress.com/2021/05/05/sel4-on-risc-v-verified-to… Gernot

1 0