Cache Kernel
From Kenneth Duda homepage, one of the authors:The Cache Kernel is the privileged-mode portion of V++, a scalable multiprocessor OS. The Cache Kernel does not attempt to manage all system objects, but rather serves as a cache of active objects. It is up to user-mode application kernels to serve as backing store for these objects.
See the paper:
D.R. Cheriton and K.J. Duda. A caching model of operating system kernel functionality. In Proceedings of the First Symposium on Operating System Design and Implementation. USENIX, November, 1994. Hypertext or compressed PostScript or the abstract. Slides from the OSDI 94 presentation, PostScript
This page is linked from: Freedows