Encapsulated user-level device drivers in the Mungi operating system

Authors

Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser

NICTA, Sydney, Australia
UNSW, Australia

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

Download

Served by Apache on Linux on seL4