한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)

한국정보처리학회 (Korea Information Processing Society)
권호 표지
DOI QR코드

DOI QR Code

L4 마이크로커널을 이용한 가상화 설계

A Design of Virtualization Using L4 Micorkernel

  • 강창호 (한국외국어대학교 컴퓨터공학과) ;
  • 조상영 (한국외국어대학교 컴퓨터공학과)
  • Kang, Chang-Ho (Dept of Computer Engineering, Hankook University of Foreign Studies) ;
  • Cho, Sang-Young (Dept of Computer Engineering, Hankook University of Foreign Studies)
  • 발행 : 2009.11.13
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

최근에 다기능 복합화되는 임베디드 시스템을 위한 가상화 연구가 활발하다. 본 논문에서는 L4 마이크로커널을 기반으로 한 실시간 운영체제 MicroC/OS-II 가상화를 위한 L4 환경에서의 전체 구성, 인터럽트 핸들링, 게스트 운영체제 초기화 과정의 설계에 대해 기술한다.

키워드