Hardware-supported virtualization on ARM

Authors

Prashant Varanasi and 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

ARM is the dominant processor architecture for mobile devices and many other high-end embedded systems. Late last year ARM announced architectural support for virtualization, which will allow execution of unmodified guest operating system binaries. We have designed and implemented what we believe is the first hypervisor supporting pure virtualization using those hardware extensions and evaluated it on simulated hardware. We describe our approach and report our initial experience with the architecture.

BibTeX Entry

  @inproceedings{Varanasi_Heiser_11,
    doi              = {10.1145/2103799.2103813},
    title            = {Hardware-Supported Virtualization on {ARM}},
    booktitle        = {Proceedings of the 2nd Asia-Pacific Workshop on Systems},
    author           = {Prashant Varanasi and Gernot Heiser},
    year             = {2011},
    month            = {Jul},
    address          = {Shanghai, China},
    pages            = {11:1--11:5}
  }

Download

Served by Apache on Linux on seL4