The following papers are in Class Notes IV which will not be available for a week or two. The first two papers are also available here so you can read them now.

1.   “On µ-Kernel Construction”, J. Liedtke, , Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles (SOSP), December 3-6, 1995, pp. 237-250.

2.   “Towards Real µ-Kernels”, J. Liedtke, Communications of the ACM, 39(9), September 1996.

3.   “The Performance of μ-Kernel-Based Systems”, H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg and J. Wolter, Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (SOSP) October 5-8, 1997, pp. 66-77.

4.   “Guarded Page Tables on the MIPS R4600”, J. Liedtke and K. Elphinstone, University of New South Wales, Computer Science and Engineering Department Technical Report UNSW-CSE-TR-9503, November 1995.

5.   “Achieved IPC Performance (Still the Foundation for Extensibility)”, J. Liedtke, K. Elphinstone, S. Schönberg, H. Härtig, G. Heiser, N. Islam, and T. Jaeger, Proceedings of the Sixth Workshop on Hot Topics in Operating Systems (HotOS), May 5-6, 1997.