NICTA company blog
From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? [pdf]
The original page did not respond normally when we last checked (HTTP 403). The archived copy may help.
- Points
- 140
- HN comments
- 23
- Submissions
- 1
- Cited by
- 0 commenters
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Apr 12, 2014 | From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? [pdf] by pjscott | 140 | 23 |
