Kernel Design of a Novel Component Based Operating System
Adapting component based model has become a new tendency to design operating system. For component based operating system, the key constructing techniques constrictively express themselves on the design and implementation of the kernel. In this paper a brief introduction of available kernel structure for operating system and Servant/Exe-Flow Model (SEFM)—a new abstraction of operating system. Then the design techniques of the kernel (kernel servant) for a typical component based operating system Minicore are presented in detail. Finally, a set of test data are given to show the effectiveness of the techniques presented.