Title:		I/O Kit Drivers for L4

Author:		Geoffrey Lee

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

Abstract:

The I/O Kit is the device driver framework for Apple's Darwin operating system. 
The Mach kernel has performance problems and the Darwin system could 
potentially benefit from a faster kernel such as L4.  For an L4-based
Darwin system to gain widespread adoption, I/O Kit driver support is
crucial.

This thesis investigates into the feasibility of having I/O Kit drivers
on L4 and discusses the implementation issues relating to it, and future
research and engineering opportunities as a result of this work.