Y youtube.com From L3 to seL4: 20 years of L4 microkernels (2013) [video] 71 points tambourine_man 2 years ago 40 comments
