Skip to main content

Encapsulated user-level device drivers in the Mungi operating system


Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser

NICTA, Sydney, Australia
UNSW, Australia


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},
    month            = jan,
    year             = {2004},
    title            = {Encapsulated User-Level Device Drivers in the {Mungi} Operating System},
    address          = {Victor Harbor, South Australia, Australia},
    note             = {\url{}},
    booktitle        = {Proceedings of the  Workshop on Object Systems and Software Architectures 2004},
    paperurl         = {}


Served by Apache on Linux on seL4.