Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)
- 2009.05a
- /
- Pages.255-257
- /
- 2009
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.