Research
Software Systems

Encapsulated user-level device drivers in the Mungi operating system

Authors

Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser

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 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

  @inproceedings{Leslie_FH_04,
    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{http://www.cs.adelaide.edu.au/~wossa2004/HTML/}},
    year             = {2004},
    booktitle        = {Proceedings of the  Workshop on Object Systems and Software Architectures 2004},
    address          = {Victor Harbor, South Australia, Australia}
  }

Download