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.