Hacker Blog Posts

Gernot Heiser (microkerneldude) personal blog

SeL4 on RISC-V Verified to Binary Code

microkerneldude.wordpress.com published 2021-05-05

… and seL4 and RISC-V Foundations form an alliance In June 2020 we announced that the seL4 microkernel, the world’s first operating system (OS) kernel with a machine-checked proof of implemen…
Read on microkerneldude.wordpress.com → Discuss on HN (47) Archived copy
Points
157
HN comments
47
Submissions
1
Cited by
0 commenters

Systems & PerformanceSecurity & Privacy2021

On Hacker News

SubmittedTitle on HNPointsComments
May 5, 2021SeL4 on RISC-V Verified to Binary Code by kryptiskt15747

More from Gernot Heiser (microkerneldude)

All 5 posts →

Related posts from the same era