Gernot Heiser (microkerneldude) personal blog
SeL4 is verified on RISC-V
Sounds great! But what does it mean? seL4 seL4 (pronounced ess-e-ell-four) is arguably the world’s most secure operating system (OS) kernel. The OS kernel is the lowest level of software runn…
- Points
- 244
- HN comments
- 80
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSecurity & Privacy2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 9, 2020 | SeL4 is verified on RISC-V by ingve | 244 | 80 |
