The most widely deployed mobile virtualization solution
Virtualization for mobile devices has been talked about for a number of years, and most handset manufacturers are pursuing evaluation or development projects using virtualization. However, at the time of writing of this document, only one such mobile phone has reached the pockets of consumers: the Motorola Evoke QA4, which has been on sale since 1 April 2009. It is implemented using the OKL4 Microvisor product from Open Kernel Labs (OK Labs).
In this white paper we will have a closer look at the Evoke. We will see how it demonstrates some of the power of virtualization. Moreover, we will see how the Evoke benefits from the unique aspects of the technology provided by OK Labs, which enables designs not supported by plain hypervisors.
The NirvanaPhone Concept Specification and Reference Architeture
Motorola Evoke Teardown
seL4: Formal Verification of an OS Kernel
Automatic Device Driver Synthesis with Termite
The Motorola Evoke QA4 - A Case Study in Mobile Virtualization
Android Migration at the Speed of Light
Virtualization and Componentization in Embedded Systems
Virtualization for Embedded Systems
Role of Virtualization in Embedded Systems
Your System is Secure? Prove it!
Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level
Secure Embedded Systems Need Microkernels