Hardware-supported virtualization on ARM

Authors:
Prashant Varanasi;Gernot Heiser
Affiliations:
NICTA, University of New South Wales and Open Kernel Labs, Sydney, Australia;NICTA, University of New South Wales and Open Kernel Labs, Sydney, Australia
Venue:
Proceedings of the Second Asia-Pacific Workshop on Systems
Year:
2011

Citing 6
Cited 4

A comparison of software and hardware techniques for x86 virtualization

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
The role of virtualization in embedded systems

Proceedings of the 1st workshop on Isolation and integration in embedded systems
The evolution of virtualization

Communications of the ACM - Being Human in the Digital Age
Hypervisors for consumer electronics

CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
NOVA: a microhypervisor-based secure virtualization architecture

Proceedings of the 5th European conference on Computer systems
The OKL4 microvisor: convergence point of microkernels and hypervisors

Proceedings of the first ACM asia-pacific workshop on Workshop on systems

Dune: safe user-level access to privileged CPU features

OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Formal virtualization requirements for the ARM architecture

Journal of Systems Architecture: the EUROMICRO Journal
KVM/ARM: the design and implementation of the linux ARM hypervisor

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Virtualizing ARM VFP (Vector Floating-Point) with Xen-ARM

Journal of Systems Architecture: the EUROMICRO Journal

Quantified Score

Hi-index	0.01

Visualization

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.