@inproceedings{SOSP-2013-ElphinstoneH,
	author        = "Kevin Elphinstone and Gernot Heiser",
	booktitle     = "{Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles}",
	doi           = "10.1145/2517349.2522720",
	isbn          = "978-1-4503-2388-8",
	pages         = "133--150",
	publisher     = "{ACM}",
	title         = "{From L3 to seL4 what have we learnt in 20 years of L4 microkernels?}",
	year          = 2013,
}