摘要 |
The present invention relates to design and implementation of a thin kernel for supporting a hypervisor. As a kernel structure for supporting the hypervisor, a micro kernel is advantageous which is designed to minimize a kernel for enhancing flexibility and portability, and operate functions other than a basic essential function as user-level processes. In such a micro kernel, each inter-process communication (IPC) affects performance of an overall operating system. Accordingly, a thin kernel will be described which is designed on the basis of IPC performance by learning an IPC design of the second generation micro kernel L4 designed on the basis of the IPC performance. |