Encapsulated User-Level Device Drivers in the Mungi Operating System

The reliability of device drivers is of critical impor- tance to the overall stability of computer systems. This paper presents the software architecture used for user- level device drivers in the Mungi operating system. We argue that this framework provides a safer envi- ronment in which to run device drivers, while making device driver implementation easier and more flexible, thus improving overall reliability of the system.