隨著行動運算時代來臨，智慧型手機上的應用與基頻可以透過隔離佈署不同的作業系統和軟體。隔離簡化了兩個智慧型手機子系統的整合，同時增加了可靠性和安全性。為了有效地整合應用與基頻，Open Kernel Labs(OK Labs)推出了行動虛擬化技術解決方案，稱為OKL4 Microvisor。
在本篇論文中，我們分析OKL4 Microvisor的系統架構，以及系統呼叫關係，並探討OKL4與外部硬體之連接關係。在軟體方面，我們透過全系統模擬機QEMU來模擬目標平台，將OKL4 Microvisor掛載在虛擬平台上運行。此外，我們還撰寫相關之測試應用程式，內容包含多執行緒平行程式並配合IPC系統呼叫來傳輸資料，以及修改OKL4原始碼加入timer來測試時間。之後在OKL4上架設單個cell或多個cells，透過測試應用程式來達成IPC傳輸，分析cell內或cells之間IPC的時間花費。在移植開發板方面，利用u-boot Image檔與OKL4 Image檔做結合，最後將Image檔燒入到實體平台Flash中來驗證結果。

With the mobile computing coming, application and baseband can be deployed in different operating systems and software through isolation in smartphone. Isolated simplified two smartphone’s integrated subsystems, while enhancing the reliability and safety. In order to effectively integrate applications and baseband, Open Kernel Labs (OK Labs) launched a mobile virtualization technology solutions, called OKL4 Microvisor.

In this paper, we analyze the system architecture of OKL4 Microvisor, as well as the relationship between system calls, and OKL4 connected relationships with external hardware. On the software side, we use QEMU which is full system simulator to simulate the target platform, and OKL4 Microvisor mount runs on a virtual platform. In addition, we also write related test application contains multithreading parallel programming with the IPC system call to transmit data, and modify OKL4 source code to join timer to test time. Then build single cell or multiple cells on OKL4, to achieve IPC transmission through test application, and analysis IPC time spent of cell within or between cells. In terms of development board transplanting, OKL4 image file and u-boot image file are combined into an image file. Finally, burning the image file into the platform’s Flash to verify the results.

[1] Rob McCammon. Open Kernel Labs, Inc. White Paper應用移動虛擬化技術來建構大眾市場智能手機 2010-05
[2] 虛擬化技術與行動平台虛擬化. 台灣大學資訊工程研究所黃子維、魏潔紋、洪崇耕. 台灣大學網路與多媒體研究所、資訊工程研究所副教授施吉昇
[3] Turban. Electronic Commerce A Managerial Perspective P27. Prentice-Hall.; Virtualization in education. IBM, 2008
[4] Mann, Andi, The Pros and Cons of Virtualization, Business Trends Quarterly, 21 April 2008
[5] White Paper, Understanding Full Virtualization, Paravirtualization, and Hardware Assist. VMware, Inc.
[6] Gernot Heiser, Ben Leslie. The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors
[7] Asif Iqbal, Nayeema Sadeque and Rafika Ida Mutia. An Overview of Microkernel, Hypervisor and Microvisor Virtualization Approaches for Embedded Systems
[8] Sangwon Seo. Research on System Virtualization using Xen Hypervisor for ARM based secure mobile phones. 2010-01
[9] Yang Xu, Felix Bruns, Elizabeth Gonzalez, Shadi Traboulsi, Klaus Mott, Attila Bilgic. Performance Evaluation of Para-virtualization on Modern Mobile Phone Platform. 2010-02
[10] Kevin Elphinstone and Gernot Heiser. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels? 2013-04-29
[11] Fabrice Bellard. QEMU, a Fast and Portable Dynamic Translator.
[12] White Paper, Virtualization Overview. VMware, Inc.
[13] FROM SOURCE TO BINARY, How GNU Toolchain Works. Luse Cheng. Jim Huang (黃敬群).
[14] Linux 驅動程式的中斷處理, #3: Bottom Half 2008 03 03;http://www.jollen.org/blog/2008/03/interrupt_handling_bottom_half.html。jollen
[15] Cortex-A5 MPCore Revision: r0p1 Technical Reference Manual, ARM. 2010
[16] RealView Platform Baseboard for ARM926EJ-S™ HBI-0117 User Guide, ARM 2003-2010
[17] AMBA™ Specification (Rev 2.0), ARM
[18] RealView® LT-XC4VLX100+Logic Tile HBI-0158 User Guide, ARM. 2006-2008
[19] Jochen Liedtke, Towards Real Microkernels, Communications of the ACM, 1996