Two Years of Experience with a µ-Kernel Based OS
📜 Abstract
This paper describes the basic components of the L3 operating system and the experiences of the first two years using it. The system results from scientific research, but is addressed to commercial application. It is based on a small kernel handling tasks, threads and dataspaces. User level device drivers and file systems are described as examples of flexible OS services realized outside the kernel.
✨ Summary
- The paper reports on the design and early operational experience of the L3 operating system. Its central architecture places a small kernel underneath user-level operating-system services, including device drivers and file systems.
- Later retrospectives identify L3 as the predecessor of the L4 microkernel family and describe its user-mode drivers and real-world deployment as important elements of the lineage that led to L4, commercial L4 variants, and eventually seL4. (researchgate.net)
- The paper is repeatedly cited in subsequent work on user-level device drivers, driver isolation, and microkernel-based operating systems. Its concrete influence was primarily architectural: it provided an early operational demonstration that services could be moved outside the kernel while retaining a usable system, a design direction later explored in L4-based systems and high-assurance kernels. (usenix.org)