An Overview of Microkernel , Hypervisor and Microvisor Virtualization Approaches for Embedded Systems

This paper addresses an essential application of microkernels; its role in virtualization for embedded systems. Virtualization in embedded systems and microkernel-based virtualization are topics of intensive research today. As embedded systems specifically mobile phones are evolving to do everything that a PC does, employing virtualization in this case is another step to make this vision a reality. Hence, recently, much time and research effort have been employed to validate ways to host virtualization on embedded system processors i.e., the ARM processors. This paper reviews the research work that have had significant impact on the implementation approaches of virtualization in embedded systems and how these approaches additionally provide security features that are beneficial to equipment manufacturers, carrier service providers and end users.

[1]  Sangwon Seo.  Research on System Virtualization using Xen Hypervisor for ARM based secure mobile phones , 2010 .

[2]  Gernot Heiser,et al.  High-performance microkernels and virtualisation on ARM and segmented architectures , 2007 .

[3]  Andrew Warfield,et al.  Are Virtual Machine Monitors Microkernels Done Right? , 2005, HotOS.

[4]  Gerald J. Popek,et al.  Formal requirements for virtualizable third generation architectures , 1974, CACM.

[5]  Jerome H. Saltzer,et al.  The protection of information in computer systems , 1975, Proc. IEEE.

[6]  Cynthia E. Irvine,et al.  Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor , 2000, USENIX Security Symposium.

[7]  Gernot Heiser.  Virtualization for Embedded Systems , 2007 .

[8]  Gernot Heiser,et al.  The OKL4 microvisor: convergence point of microkernels and hypervisors , 2010, APSys '10.

[9]  Francois Armand,et al.  A Practical Look at Micro-Kernels and Virtual Machine Monitors , 2009, 2009 6th IEEE Consumer Communications and Networking Conference.

[10]  Gernot Heiser,et al.  The Motorola Evoke QA4: A case study in mobile virtualization , 2009 .

[11]  Gernot Heiser,et al.  Camkes: a Component Model for Secure Microkernel-based Emebedded Systems , 2007 .

[12]  Attila Bilgic,et al.  Performance Evaluation of Para-virtualization on Modern Mobile Phone Platform , 2010 .

[13]  Martin Botteck,et al.  Virtualization as an enabler for security in mobile devices , 2008, IIES '08.

[14]  Michael Norrish,et al.  seL4: formal verification of an OS kernel , 2009, SOSP '09.

[15]  Mathias Bylund.  Evaluation of OKL4 , 2009 .

[16]  Gernot Heiser,et al.  The role of virtualization in embedded systems , 2008, IIES '08.

[17]  Sang-Bum Suh,et al.  Xen on ARM: System Virtualization Using Xen Hypervisor for ARM-Based Secure Mobile Phones , 2008, 2008 5th IEEE Consumer Communications and Networking Conference.