
- 1 J. Liedtke, U. Battling, U. Beyer, D. Heinrichs, R. Ruland, and G. Szalay, "Two years of experience with a p-kernel based OS", A CM SIGOPS: Operating Systems Review, pp. 51-62, Aug. 1990. Google Scholar
Digital Library
- 2 F. Douglis, J. Ousterhout, M. Kaashoek, and A. Tanenbaum, "A comparison of two distributed systems: Amoeba and Sprite," Computing Systems, vol. 4, no. 4, pp. 353-384, 1991.Google Scholar
- 3 L. Bic and A. C. Shaw, The Logical Design of Operating Systems: Second Edition. Prentice Hall, Inc., 1988. Google Scholar
Digital Library
- 4 H. Deital, Operating Systems: Second Edition. Addison-Wesley Publishing Company, 1990. Google Scholar
Digital Library
- 5 G. J. Nutt, Centralized and Distributed Operating Systems. Prentice Hall, Inc., 1992. Google Scholar
Digital Library
- 6 A. Tanenbaum, Operating Systems: Design and Implementation. Prentice Hall, Inc., 1987. Google Scholar
Digital Library
- 7 A. Tanenbaum, Modern Operating Systems. Prentice Hall, Inc., 1992. Google Scholar
Digital Library
- 8 G. Coulouris, J. Dollimore, and T. Kindberg, Distributed Systems Concepts and Design: Second Edition. Addison-Wesley Publishing Company, 1994. Google Scholar
Digital Library
- 9 A. Silberschatz, and P. Galvin, Operating System Concepts: Fourth Edition. Addison-Wesley Publishing Company, 1994. Google Scholar
Digital Library
- 10 F. Hayes, "Personality Plus," BYTE, vol. 19, pp. 155-168, Jan. 1994.Google Scholar
- 11 A. Bricker, M. Gien, M. Guillemont, J. Lipkis, D. Orr, and M. Rozier, "Architectural issues in microkemel-based operating systems: The CHORUS experience," Computer Communications, vol. 14, pp. 347-357, Aug. 1991. Google Scholar
Digital Library
- 12 P. Varhol, "Small kernels hit it big," BYTE, vol. 19, pp. 119-128, Jan. 1994.Google Scholar
- 13 T. R. ttalfhill, "Apple's and Microsoft's system software road map," BYTE, vol. 19, p. 40, May 1994.Google Scholar
Index Terms
Microkernels: a submodule for a traditional operating systems course
Recommendations
L4 Microkernels: The Lessons from 20 Years of Research and Deployment
The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are commercial versions that are deployed on a large scale and in safety-critical systems. In this article we examine the lessons ...
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
SOSP '13: Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems PrinciplesThe L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are commercial versions which are deployed on a large scale and in safety-critical systems. In this paper we examine the lessons ...







Comments