Editing L4 microkernel family (section)

=== L4 ===
After some experience using L3, Liedtke came to the conclusion that several other Mach concepts were also misplaced. By simplifying the microkernel concepts even further he developed the first L4 kernel which was primarily designed for high performance. To maximise performance, the whole kernel was written in [[assembly language]], and its IPC was 20 times faster than Mach's.<ref name="Liedtke_93" /> Such dramatic performance increases are a rare event in operating systems, and Liedtke's work triggered new L4 implementations and work on L4-based systems at a number of universities and research institutes, including [[IBM]], where Liedtke started to work in 1996, TU Dresden and UNSW. At IBM's [[Thomas J. Watson Research Center]] Liedtke and his colleagues continued research on L4 and microkernel based systems in general, especially the Sawmill OS.<ref name="Gefflaut_JPLEUTDR_00">{{cite conference
 |last1=Gefflaut |first1=Alain
 |last2=Jaeger |first2=Trent
 |last3=Park |first3=Yoonho
 |last4=Liedtke |first4=Jochen |author4-link=Jochen Liedtke
 |last5=Elphinstone |first5=Kevin
 |last6=Uhlig |first6=Volkmar
 |last7=Tidswell |first7=Jonathon
 |last8=Deller |first8=Luke
 |last9=Reuther |first9=Lars
 |date = 2000
 |url=http://dl.acm.org/citation.cfm?id=566726.566751
 |title=The Sawmill multiserver approach
 |book-title=ACM SIGOPS European Workshop
 |pages=109–114
 |location=Kolding, Denmark
}}</ref>