Title:		Mungi Device Drivers

Author:		Benjamin James Leslie

		School of Computer Science and Engineering,
		The University of New South Wales, Sydney 2052, Australia,
		benjl@cse.unsw.edu.au

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.