Study and Implementation of Virtualization Technology in Embedded Domain Using OKL4

摘要

With virtual machines have become mainstream in enterprise computing, virtualization is being an attractive technology in the embedded community. However, current popular virtualization technologies do not suit for embedded system, which are characterized by small memory footprint, power constraint, small trusted computing base, and fine-grained security. In this paper, we selected a well-known embedded microkernel as the virtualization layer and then proposed a virtualization architecture based on OKL4, and analyzed the characteristics of virtualization used in embedded domain. Finally, we have ported the OKL4 and OKLinux to PXA270 and test it on hardware board. Experimental results show that the design scheme is feasible and correct.