A Survey of Operating System Microkernel

Abstract

Microkernel operating system plays an important role in industrial control system, embedded system and real-time system, etc. From many aspects, this paper studies the microkernel technology, such as its architecture, history, characteristics, and scenarios. In view of the deficiencies of microkernel architecture in the future interconnection of everything, this paper expounds the further research direction of microkernel from interoperation, distributed storage, security and so on. Finally, some experiments, based on seL4 microkernel, are discussed, including virtualization, and performance comparison with Linux.