Hacker Blog Posts

Gernot Heiser (microkerneldude) personal blog

The SeL4 Foundation: What and Why

microkerneldude.wordpress.com published 2020-04-07

We have created the seL4 Foundation! But what is the seL4 Foundation, and why did we create it? In a nutshell, these are the reasons (I’ll expand on them below): Provide for the longevity of …
Read on microkerneldude.wordpress.com → Discuss on HN (64) Archived copy
Points
104
HN comments
64
Submissions
1
Cited by
0 commenters

Systems & PerformanceOpen Source2020

On Hacker News

SubmittedTitle on HNPointsComments
Apr 7, 2020The SeL4 Foundation: What and Why by ingve10464

More from Gernot Heiser (microkerneldude)

All 5 posts →

Related posts from the same era