"Hints for Computer System Design", Butler W. Lampson, in SOSP '83: Proceedings of the ninth ACM symposium on Operating systems principles, p. 33--48, 1983. A classic paper, and an entertaining read, full of accumulated
wisdom on how (and how not) to design computer systems
Lecture 2 Readings
Required: "Mach: A new kernel foundation for UNIX development", Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, and Michael Young, in Proceedings of the 1986 Summer USENIX Technical Conference, 16 pages, 1986. The original description of Mach -- note the absence of the term "microkernel" anywhere in the paper... that designation came later.
Optional: Chapter on Mach from 4th Edition of Silberschatz et al. text (no longer part of later editions)