1
The SeL4 Foundation: What and Why
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 …
Gernot Heiser (microkerneldude)
Random rants and pontifications by Gernot Heiser
- Popular posts
- 5
- Total points
- 801
- HN comments
- 265
- Rank
- #2,876 personal
Visit microkerneldude.wordpress.com → RSS feedOn Hacker News Aug 2019 – May 2021