Skip to main content

Mungi device drivers

Authors

Ben Leslie

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

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

  @mastersthesis{Leslie:be,
    author           = {Ben Leslie},
    month            = nov,
    year             = {2002},
    title            = {Mungi Device Drivers},
    address          = {Sydney, Australia},
    note             = {Available from publications page at \url{http://ts.data61.csiro.au/}},
    school           = {School of Computer Science and Engineering}
  }

Download

Served by Apache on Linux on seL4.