Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

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