The role of virtualization in embedded systems

Authors

Gernot Heiser

    School of Computer Science and Engineering
    University of New South Wales
    Sydney 2052 Australia
    
    NICTA, Sydney, Australia

    Open Kernel Labs, Sydney, Australia

Abstract

System virtualization, which enjoys immense popularity in the enterprise and personal computing spaces, is recently gaining significant interest in the embedded domain. Starting from a comparison of key characteristics of enterprise systems and embedded systems, we will examine the difference in motivation for the use of system virtual machines, and the resulting differences in the requirements for the technology. We find that these differences are quite substantial, and that virtualization is unable to meet the special requirements of embedded systems. Instead, more general operating-systems technologies are required, which support virtualization as a special case. We argue that high-performance microkernels, specifically L4, are a technology that provides a good match for the requirements of next-generation embedded systems.

BibTeX Entry

  @inproceedings{Heiser_08,
    doi              = {10.1145/1435458},
    author           = {Gernot Heiser},
    title            = {The Role of Virtualization in Embedded Systems},
    booktitle        = {1st WS Isolation \& Integration Emb. Syst.},
    year             = {2008},
    month            = {Apr},
    address          = {Glasgow, UK},
    organization     = {ACM SIGOPS},
    pages            = {11-16}
  }

Download

• Heiser_08.pdf