Encapsulated User-Level Device Drivers in the Mungi Operating System
by
Ben Leslie Nicholas
,
Nicholas Fitzroy-dale
,
Gernot Heiser
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@MISC{Nicholas_encapsulateduser-level,
author = {Ben Leslie Nicholas and Nicholas Fitzroy-dale and Gernot Heiser},
title = {Encapsulated User-Level Device Drivers in the Mungi Operating System},
year = {}
}
author = {Ben Leslie Nicholas and Nicholas Fitzroy-dale and Gernot Heiser},
title = {Encapsulated User-Level Device Drivers in the Mungi Operating System},
year = {}
}
Bookmarks
OpenURL
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 userlevel 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.
