Editing L4 microkernel family (section)

== Further reading ==
* {{cite journal
 |first1=Jochen |last1=Liedtke |author-link=Jochen Liedtke
 |first2=Ulrich |last2=Bartling
 |first3=Uwe |last3=Beyer
 |first4=Dietmar |last4=Heinrichs
 |first5=Rudolf |last5=Ruland
 |first6=Gyula |last6=Szalay
 |title=Two years of experience with a μ-Kernel based OS
 |journal=ACM SIGOPS Operating Systems Review
 |volume=25 |issue=2 |date=April 1991
 |pages=51–62
 |doi=10.1145/122120.122124
 |s2cid=17602151 |doi-access=free
}} 
* {{Cite conference
 |last1=Liedtke |first1=Jochen |author-link=Jochen Liedtke
 |last2=Haeberlen |first2=Andreas
 |last3=Park |first3=Yoonho
 |last4=Reuther |first4=Lars
 |last5=Uhlig |first5=Volkmar
 |date = 2000-10-22
 |title = Stub-Code Performance is Becoming Important
 |book-title = Proceedings of the 1st Workshop on Industrial Experiences with Systems Software (WIESS), San Diego, CA, October 2000
 |url = http://l4ka.org/publications/
 |format = PDF
 |access-date = 2006-09-05
 |url-status = dead
 |archive-url = https://web.archive.org/web/20060905181634/http://www.l4ka.org/publications/
 |archive-date = 2006-09-05
}} (on L4 kernel and compiler)
* {{cite report |last1=Cheng |first1=Guanghui |last2=McGuire |first2=Nicholas |url=http://dslab.lzu.edu.cn:8080/docs/publications/l4_kickstart.pdf |title=L4/Fiasco/L4Linux Kickstart |website=Distributed & Embedded Systems Lab |publisher=Lanzhou University|archive-url=https://web.archive.org/web/20120327161621/http://dslab.lzu.edu.cn:8080/docs/publications/l4_kickstart.pdf |archive-date=27 March 2012 }}
* {{Cite conference
 |last1=Elphinstone |first1=Kevin
 |last2=Heiser |first2=Gernot |author2-link=Gernot Heiser
 |date = November 2013
 |title = From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?
 |book-title = 24th ACM SIGOPS Symposium on Operating Systems Principles
 |location = Farmington, PA, USA
 |pages = 133–150 |doi=10.1145/2517349.2522720 |isbn=978-1-4503-2388-8 |citeseerx=10.1.1.636.9410 
 |url =https://sigops.org/s/conferences/sosp/2013/talks/elphinstone_l3sel4_se03_03.pdf
}} Evolution of L4 design and implementation approaches