Robert V. Baron, David Black, William Bolosky, Jonathan Chew, Richard P. Draves, David B. Golub, Richard F. Rashid, Avadis Tevanian, Jr., and Michael Wayne Young. Mach Kernel Interface Manual [postscript] [doc] August, 1990. Unpublished manuscript from the School of Computer Science, Carnegie Mellon University.

This manual describes the interface to the Mach kernel in detail for a wide variety of uniprocessor and multiprocessor architectures.