Papers tagged microkernels
- A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4
- A Persistent System in Real Use - Experiences of the First 13 Years -
- Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor
- Extensibility, Safety and Performance in the SPIN Operating System
- Improving IPC by Kernel Design
- The Impact of Operating System Structure on Memory System Performance
- The rump kernel: A tool for driver development and a toolkit for applications
- Two Years of Experience with a ยต-Kernel Based OS