First Page | Document Content | |
---|---|---|
Date: 2014-02-27 16:46:20Computer architecture Software Computing L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel L3 microkernel Heiser Kernel Symposium on Operating Systems Principles Mach | From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels? Kevin Elphinstone, Gernot Heiser NICTA and University of New South WalesAdd to Reading ListSource URL: sigops.orgDownload Document from Source WebsiteFile Size: 4,13 MBShare Document on Facebook |