Index Terms
- Microkernels meet recursive virtual machines
Recommendations
Microkernels meet recursive virtual machines
OSDI '96: Proceedings of the second USENIX symposium on Operating systems design and implementationArchitecture of virtual machines
Proceedings of the workshop on virtual computer systemsIn this paper we develop a model which represents the addressing of resources by processes executing on a virtual machine. The model distinguishes two maps: the ø-map which represents the map visible to the operating system software running on the ...
L4 Microkernels: The Lessons from 20 Years of Research and Deployment
The L4 microkernel has undergone 20 years of use and evolution. It has an active user and developer community, and there are commercial versions that are deployed on a large scale and in safety-critical systems. In this article we examine the lessons ...
Comments