L4/Darwin: Evolving UNIX

UNIX has remained a mainstay of modern computing. With its foundations of security, reliability, performanc e and configurability, UNIX has adapted to and is used in a vast array of environments. While UNIX fosters robustness, modularity and a "smaller is better" philosophy, that scrutiny is generally not applied to the kernel itself. Modern UNIX kernels have large, unwieldy code bases that do not enjoy the benefits seen in the user environment. Apple's Darwin kernel is the open-source core of the Mac OS X operating system. Like most modern UNIX systems, the kernel boasts modern features such as 64- bit address spaces, robust hot-plug and support for server and workstation workloads. L4/Darwin (Darbat), a virtualised Darwin system run- ning on the L4 microkernel, aims to address the prob- lem of the ever-growing UNIX kernel. Using the high- performance L4 microkernel, Darbat can isolate kernel modules, such as device drivers, using hardware protec- tion while maintaining binary compatibility and perfor- mance. This modularisation also allows Darbat to use L4 as an advanced hypervisor to support multiple oper- ating system instances for server consolidation. This paper covers the on-going design and implemen- tation of the Darbat project and the experiences of bring- ing the strengths of UNIX into the UNIX kernel itself.