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
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.