| Reading Topics |
| Levin, R., Cohen, E., Corwin, W., Pollack, F., and Wulf, W. 1975. Policy/mechanism separation in Hydra. In Proceedings of the Fifth ACM Symposium on Operating Systems Principles SOSP '75. ACM, New York, NY |
| Wulf, W., Cohen, E., Corwin, W., Jones, A., Levin, R., Pierson, C., and Pollack, F. HYDRA: the kernel of a multiprocessor operating system. Commun. ACM 17, 6 (Jun. 1974), 337-345. |
| Liedtke, J. 1996. Toward real microkernels. Commun. ACM 39, 9 (Sep. 1996), 70-77. |
| Liedtke, J. 1995. On micro-kernel construction. SIGOPS Oper. Syst. Rev. 29, 5 (Dec. 1995), 237-250. |
| Prof. Dr. Frank Bellosa, Raphael Neider, “Micro-kernel Construction Course”, Summer 2009, Universität Karlsruhe (TH), Department of Computer Science, System Architecture Group |
| D. R. Cheriton and T. P. Mann. Decentralizing a global naming service for improved performance and fault tolerance. In ACM Transactions on Computer Systems Volume 7 (2), May, 1989. |
| Daniel P. Julin.Naming Facilities for Operating System Emulation in Mach 3.0, Aug 1991. |
| T. Anderson et. al. The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors., IEEE Transactions on Computers 38:12 1989 |
| T. E. Anderson, B.N. Bershad, E.D. Lazowska, and H.M. Levy Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism., ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, Pages 53-79. |
| M. Auslander et al. Scheduling in K42, IBM Research, http://www.research.ibm.com/K42, August 2002. |
| Microsoft Corporation. Microsoft Extensible Firmware Initiative FAT32 File System Specification. FAT: General Overview of On-Disk Format. Version 1.03, 2000 |
| R.Sandberg et al. Design and Implementation of the Sun Network Filesystem. Proceedings of the USENIX 1985 Summer Conference. |
| D. Giampaolo Practical File System Design Morgan Kaufmann Publishers. 1st edition (1999) |
| J. Moran, "SunOS Virtual Memory Implementation", European UNIX Users Group (EUUG) Conference, Spring 1988 |
| Richard W. Carr and John L. Hennessy. WSCLOCK a simple and effective algorithm for virtual memory management, Proceedings of the eighth symposium on Operating systems principles 1981 |
| Özalp Babaoglu and William Joy. Converting a swap-based system to do paging in an architecture lacking page-referenced bits, Proceedings of the eighth symposium on Operating systems principles 1981 |
| F. Mehnert Dynamic Loading of Native L4 Programs, Proceedings of the Second Workshop on Microkernel-based Systems 2001 |
