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.
Defense-Grade Security for the Rest of Us
Build Secure Smartphones for the Enterprise
Learn How to Build a More Secure Smartphone
Build Mass-Market Smartphones with Mobile Virtualization
SecureIT Mobile Government White Paper (Chinese Version)
SecureIT Mobile Enterprise (Chinese Version)
Energy Management
Build a Smartphone for the Mass-Market (Korean Version)
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