Message-based microkernel for real-time system

This paper describes the design and implementation of the basic primitives and major components of the message-based microkernel for real-time systems to find out its shortcomings and ways to improve them. The real-time OS with message-based microkernel enables a user to add or change the system services easily for special purposes. But it has rather large overhead of interrupt latency and system call due to the message copy and synchronization. In order to support true real-time performance, kernel preemption and efficient message exchange mechanism is required.<
>