L4 Microkernel Platform for Virtualization Applications

가상화 응용을 위한 L4 마이크로커널 플랫폼

  • 강창호 (한국외국어대학교 컴퓨터공학과) ;
  • 조상영 (한국외국어대학교 컴퓨터공학과)
  • Published : 2009.05.07

Abstract

Recently, researchers are focusing on the usefulness of microkernels regarding to the virtualization of embedded systems. We ported OKL4 2.1 microkernel on MBA2440 and SMDK6410 that use ARM920T and ARM1176JFZ-S cores respectively. The ported OKL4 2.1 environment will be used to develop various virtualization applications.

Keywords