Trusted computing based microkernel

Traditional "monolithic" operating systems provide most services by its kernel. Examples of monolithic ones are Linux and Windows. However, a microkernel should be designed to reduce complexity and increase stability of the kernel rather than dump everything in kernel space. Furthermore, the microkernel should be made highly configurable, small, modular, and should be easily expendable without tremendous changes to its source codes. The usage of computer has rapidly grown in recent years which necessitate more secure operating system to fulfil mission critical systems and business transaction. Unfortunately, recent designs of the microkernel are still prone from various attacks. To address this issue, we propose to use trusted computing principles embedded in the existing microkernel design. In this paper we focus our discussions on microkernel architecture to implement trusted computing in the microkernel.