Software Systems

Encapsulated user-level device drivers in the Mungi operating system


Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser


The reliability of device drivers is of critical importance 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 environment in which to run device drivers, while making device driver implementation easier and more flexible, thus improving overall reliability of the system.

BibTeX Entry

    author           = {Ben Leslie and Nicholas FitzRoy-Dale and Gernot Heiser},
    title            = {Encapsulated User-Level Device Drivers in the {Mungi} Operating System},
    month            = {jan},
    note             = {\url{}},
    year             = {2004},
    booktitle        = {Proceedings of the  Workshop on Object Systems and Software Architectures 2004},
    address          = {Victor Harbor, South Australia, Australia}