Hacker News
- From L3 to seL4: 20 years of L4 microkernels (2013) [video] https://www.youtube.com/watch?v=RdoaFc5-1Rk 40 comments
Related searches:
Search whole site: site:www.youtube.com
Search title: From L3 to seL4 what have we learnt in 20 years of L4 microkernels? - YouTube
See how to search.