Abstract
Title:
Hypervisors for consumer electronicsAuthors:
Gernot Heiser School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
National ICT Australia, Sydney,
Australia
Open Kernel Labs, Sydney, Australia
Abstract:
Virtualization, well established in enterprise computing, is finding its way into embedded systems. However, the use cases differ dramatically between the domains, and this results in significant differences in the requirements on the virtual-machine technology.
This paper examines a number of typical virtualization use cases from the CE domain, and the resulting requirements imposed on the hypervisor. We find that enterprise-style hypervisors are ill-matched to the requirements of the embedded domain, which are characterised by low-overhead communication, real-time capability, small memory footprint, small trusted computing base, and fine-grained control over security. We present the OKL4 hypervisor, a member of the L4 microkernel family, designed for embedded-systems use. We outline OKL4's relevant properties with an emphasis on its security mechanisms, and compare its performance to a version of Xen that has recently been promoted for CE use. We conclude that OKL4 is superior to enterprise-style hypervisors for use in CE devices.
BibTeX Entry
@inproceedings{Heiser_09,
author = {Gernot Heiser},
url = {http://ieeexplore.ieee.org/servlet/opac?punumber=4784683},
booktitle = {Proceedings of the 6th IEEE Consumer Communications and Networking Conference},
title = {Hypervisors for Consumer Electronics},
month = {Jan},
year = {2009},
address = {Las Vegas, NV, USA}
}