ARM在嵌入式與行動裝置的市場上取得相當的市佔後，亦欲跨足伺服器端市場。又在伺服器端的市場當中，虛擬化技術做為雲端技術的基礎，是具有相當經濟價值的一個技術，可見在ARM架構上是否便於實作虛擬化技術變成一個相當重要的議題，也因此ARM在Cortex-A15產品線開始加入了硬體虛擬化支援，使其架構成為可虛擬化之處理器架構。透過硬體虛擬化支援，虛擬機設計者可用更精簡、更有效率的方式開發虛擬機，並且可透過硬體虛擬化支援取得運行效能上的提升。本論文將基於無硬體支援下之一ARM架構虛擬機：ARMvisor，實作具有ARM硬體虛擬化支援之CPU虛擬化技術實作。本論文將首先探討ARM架構下的虛擬化技術議題，再介紹ARM所提供之硬體虛擬化對CPU虛擬化的支援，最後提出一套基於無硬體支援下之一ARM架構虛擬機：ARMvisor，實作具有ARM硬體虛擬化支援之CPU虛擬化技術實作，並提供實驗數據針對該技術實作之效能分析。

Virtualization is quiet popular technique which has been used widely in server market. Meanwhile, ARM is quiet popular CPU in embedded and mobile market. When ARM want to introduce their own chip sets for server-side market, it is quiet important to provide support for virtualization. As a result, ARM introduces virtualization extension after ARM Cortex-A15. For hypervisor designer, it is a significant support because ARM architecture was non-virtualizable ISA without virtualization extension and let it become unfriendly for hypervisor designers. With the help of virtualization extension, hypervisor designer can let its own hypervisor more lightweight and gain performance. In this thesis, it shows the design of CPU virtualization with ARM virtualization extension based on ARMvisor without virtualization extension. This thesis will introduce the background of ARM's virtualization extension. Besides, this thesis will also show that how to use virtualization extension on CPU virtualization to redesign the CPU virtualization of ARMvisor. And it also will provide evaluation to show its performance.

[1] M. Rosenblom and T. Garfinkel, “Virtual machine monitors: current tech- nology and future trends,” IEEE Computer, vol. 38, no. 5, pp. 39–47, May 2005
[2] G. J. Popek and R. P. Goldberg, “Formal requirements for virtualizable third generation architectures,” Communications of the ACM, vol. 17, no. 7, pp. 412–421, 1974.
[3] Keith Adams and Ole Agesen, “A Comparison of Software and Hardware Techniques for x86 Virtualization”, ASPLOS’06
[4] PCWorld, “AMD slates first ARM server chip, ’Seattle,’ for 2014”, http://www.pcworld.com/article/2042267/amd-slates-first-arm-server-chip- seattle-for-2014.html
[5] EETimes, “Qualcomm preps ARM server SoCs”, http://www.eetimes.com/document.asp?doc id=1263010
[6] J.H. Ding, C.J. Lin, P.H. Chang, C.H. Tseng, W.C. Hsu, and Y.C. Chung,“ARMvisor: System Virtualization for ARM”, Linux Symposium 2012
[7] Gernot Heiser, Ben Leslie, “The OKL4 microvisor: convergence point of mi- crokernels and hypervisors”, in APSys ’10 Proceedings of the first ACM asia- pacific workshop on Workshop on systems
[8] Joo-Young Hwang, Sang-Bum Suh, Sung-Kwan Heo, Chan-Ju Park, Jae-Min Ryu, Seong-Yeol Park, Chul-Ryun Kim; Samsung Electron. Co. Ltd., Suwon , “Xen on ARM: System Virtualization using Xen Hypervisor for ARM-based Secure Mobile Phones”, in Consumer Communications and Networking Con- ference, 2008. CCNC 2008. 5th IEEE
[9] Christoffer Dall and Jason Nieh Columbia University, “KVM for ARM,” in
the proceeding of Linux Symposium 2011
[10] Xen ARM with virtualization extension, http://wiki.xen.org/wiki/Xen ARM with Virtualization Extensions
[11] KVM-for-ARM with virtualization extension https://github.com/virtualopensystems/linux-kvm-arm
[12] Prashant Varanasi, Gernot Heiser, “Hardware-Supported Virtualization on ARM”, APSys’11
[13] P. Barham, B. Dragovic, “Xen and the art of virtualization”, in Proceedings of the ACM Symposium on Operating Systems Principles (SOSP), October 2003
[14] Linaro connect: Introduction to Xen on ARM, http://www.slideshare.net/xen com mgr/linaro-connect-xen-on-arm-update