Skip to main content

MacOS X on L4

Authors

Ka-shu Wong

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

Abstract

Mac OS X is an operating system with a kernel based on Mach, a first-generation microkernel with a reputation for being slow and lacking in flexibility. L4 is a second-generation microkernel that overcomes these limitations. This thesis examines the internal structure of the Mac OS X kernel and its reliance on Mach, and presents the design of L4-Darwin, a port of the Mac OS X kernel to L4 without Mach. There has been some progress in the implementation of L4-Darwin, and the implementation and preliminary benchmark results are discussed.

BibTeX Entry

  @mastersthesis{Wong:be,
    author           = {{Ka-shu} Wong},
    month            = dec,
    year             = {2003},
    title            = {{MacOS} {X} on {L4}},
    address          = {Sydney, Australia},
    keywords         = {Darbat, L4, Darwin, Mac OS X, Mach},
    school           = {School of Computer Science and Engineering}
  }

Download

Served by Apache on Linux on seL4.