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

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

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

L4 Microkernel Platform for Virtualization Applications

  • 강창호 (한국외국어대학교 컴퓨터공학과) ;
  • 조상영 (한국외국어대학교 컴퓨터공학과)
  • 발행 : 2009.05.07
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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.

키워드