Hypervisors for Consumer Electronics

Select |


Heiser, Gernot

Heiser, Gernot


Conference Material

6th Annual IEEE Consumer Communications & Networking Conference

Las Vegas, NV, USA


Virtualization, well established in enterprise, 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.

virtual machines, consumer electronics, operating systems



Heiser, Gernot. Hypervisors for Consumer Electronics. In: 6th Annual IEEE Consumer Communications & Networking Conference; Las Vegas, NV, USA. 2009-01-10. 1-5.

Loading citation data...

Citation counts
(Requires subscription to view)