The Architecture of a Reliable Operating System

In this paper, we discuss the architecture of a fully modular, self-healing operating system, which exploits the principle of least authority to provide reliability beyond that of most other operating systems. The system can be characterized as a minimal kernel with the entire operating system running as a set of compartmentalized user-mode servers and… (More)