Encapsulated user-level device drivers in the Mungi operating system
Authors
Ben Leslie, Nicholas FitzRoy-Dale and Gernot Heiser
School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
NICTA, Sydney,
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,
title = {Encapsulated User-Level Device Drivers in the {Mungi} Operating System},
booktitle = {Proceedings of the Workshop on Object Systems and Software Architectures 2004},
author = {Ben Leslie and Nicholas FitzRoy-Dale and Gernot Heiser},
year = {2004},
month = {Jan},
note = {\url{http://www.cs.adelaide.edu.au/~wossa2004/HTML/}},
address = {Victor Harbor, South Australia, Australia}
}