The Nachos Instructional Operating System.

Wayne A. Christopher, Steven J. Procter, Thomas E. Anderson

Browse the full USENIX paper archive.