User Level IPC and Device Management in the Raven Kernel (1993)

by D. Stuart Ritchie, Gerald W. Neufeld
Venue:Usenix Association Proc. Symp. on Microkernels and other Kernel Architectures