The Performance of µ-Kernel-Based Systems

http://os.inf.tu-dresden.de/pubs/sosp97/

1st-generation microkernels have a reputation of being too slow and too inflexible. This paper shows that 2nd-generation microkernels such as L4 have overcome these limitations.