Gernot Heiser (microkerneldude) personal blog
10 Years SeL4: Still the Best, Still Getting Better
A week ago, on 29 July, we at Trustworthy Systems celebrated seL4 Freedom Day, the 5th anniversary of the open-sourcing of seL4. Furthermore it was seL4’s 10th birthday – the annive…
- Points
- 150
- HN comments
- 56
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSecurity & Privacy2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Aug 6, 2019 | 10 Years SeL4: Still the Best, Still Getting Better by ingve | 150 | 56 |
