Kevin Murray, Tim Wilkinson, Peter Osmon, Ashley Saulsbury, Tom Stiemerling, Paul H. J. Kelly. Design and Implementation of an Object-Oriented 64-bit Single Address Space Microkernel. In USENIX Microkernels and Other Kernel Architectures Symposium, September 20-23, 1993, San Diego, California, USA. pages 31-44, USENIX, 1993. [doi]
Abstract is missing.