From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

Kevin Elphinstone, Gernot Heiser

Browse the full SOSP paper archive.