From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Kevin Elphinstone, Gernot Heiser
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
SOSP, 2013.

SOSP 2013
DBLP
Scholar
DOI
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.