Similar Tracks
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
Association for Computing Machinery (ACM)
Andrew Tanenbaum - MINIX 3: A Reliable and Secure Operating System - Codemotion Rome 2015
Codemotion