Trustworthy Systems

Mungi device drivers


Ben Leslie

    School of Computer Science and Engineering
    Sydney 2052, Australia


Device drivers are an essential component of every operating system, however recent research has shown that they are also the most error-prone. One way of mitigiating the effects of unreliable device drivers is to run them at user-level where they are isolated from the rest of the system. This thesis presents the design and implementation of a user-level device driver framework for the Mungi operating system. A set of user-level device drivers were developed within this framework and shown to have performance comparable to that of monolithic kernels.

BibTeX Entry

    address          = {Sydney, Australia},
    author           = {Ben Leslie},
    month            = nov,
    note             = {Available from publications page at \url{}},
    paperUrl         = {},
    school           = {School of Computer Science and Engineering},
    title            = {Mungi Device Drivers},
    year             = {2002}