Cache Kernel (OSDI ‘94)

Yet Another Attempt at a µ-kernel
- Minimal privileged mode code: Caching model of kernel functionality
- Memory and signal-based communication
- OS functionality in user-mode class libraries allowing application-customizablility

Goal: scalable, robust, flexible operating system design