Trustworthy Systems

I/O kit drivers for L4


Geoffrey Lee

    School of Computer Science and Engineering
    Sydney 2052, Australia


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.

BibTeX Entry

    address          = {Sydney, Australia},
    author           = {Geoffrey Lee},
    month            = nov,
    paperUrl         = {},
    school           = {School of Computer Science and Engineering},
    title            = {{I/O} Kit Drivers for {L4}},
    year             = {2005}