Download files
Abstract
The reliability of device drivers is of critical importance to the overall stability of computer systems. This paper presents the software architecture used for userlevel device drivers in the Mungi operating system. We argue that this framework provides a safer environment in which to run device drivers, while making device driver implementation easier and more flexible, thus improving overall reliability of the system.