Microkernel operating systems
Computer and Information Science
This thesis outlines history, development and design of microkernel based operating systems. While the idea of microkernel based architecture emerged early in computer science, there are still very few systems adopting this
Microkernel operating systems are divided into several different groups and families that frequently share rules, design decisions and development processes.
This master thesis focuses on the main representatives of these groups as well as their mutual relationships, features and potential weaknesses.
In addition, it presents use cases of microkernel systems in various specialized embedded applications and offers insight and further explanations of the advantages that microkernel systems have over monolithic systems.