L4 Microkernels: The Lessons from 20 Years of Research and Deployment Author: Heiser, Gernot; Elphinstone, Kevin Date of Publication: 2016-04-07 Publication Type: Journal Article Journal Title: ACM Transactions on Computer Systems Volume: 34 Issue: 1 Pages: 1:1-1:29 Abstract: The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there ar