The OKL4 Microvisor: Convergence point of microkernels and hypervisors
Authors
School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
NICTA, Sydney,
Australia
Open Kernel Labs, Sydney, Australia
Abstract
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems have much in common, and provide similar abstractions. We assert that the requirements for both types of systems can be met with a single set of abstractions, a single design, and a single implementation. We present partial proof of the existence of this convergence point, in the guise of the OKL4 microvisor, an industrial-strength system designed as a highly-efficient hypervisor for use in embedded systems. It is also a third-generation microkernel that aims to support the construction of similarly componentised systems as classical microkernels. Benchmarks show that the microvisor's virtualization performance is highly competitive.
BibTeX Entry
@inproceedings{Heiser_Leslie_10,
title = {The {OKL4} {Microvisor}: Convergence Point of Microkernels and Hypervisors},
booktitle = {Proceedings of the 1st Asia-Pacific Workshop on Systems},
author = {Gernot Heiser and Ben Leslie},
year = {2010},
month = {Aug},
address = {New Delhi, India},
pages = {19--24}
}