Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)
- 2008.06a
- /
- Pages.659-660
- /
- 2008
Design of Virtualization of Operating Systems on L4 Kernel
L4 커널 기반에서 운영체제 가상화에 대한 설계
- Kim, Dong-Geun (School of Information and Communication Engineering Sungkyunkwan University) ;
-
Shin, Dong-Ryeol
(School of Information and Communication Engineering Sungkyunkwan University)
- Published : 2008.06.18
Abstract
Virtualization of operating systems have already been developed and commercialized in the enterprise computing area. As the computing power of the embedded systems is growing, it is regarded that the virtualization is the important research area. The virtualization is typically established by the micro kernel. L4 kernel is the one example of the micro kernel. In this paper, we propose the architecture for virtualization of Linux over the L4 kernel.
Keywords