Trustworthy Systems

I/O kit drivers for L4

Authors

Geoffrey Lee

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

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.

BibTeX Entry

  @mastersthesis{Lee:be,
    address          = {Sydney, Australia},
    author           = {Geoffrey Lee},
    month            = nov,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/05/Lee%3Abe.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {{I/O} Kit Drivers for {L4}},
    year             = {2005}
  }

Download