Trustworthy Systems

MacOS X on L4


Ka-shu Wong

    School of Computer Science and Engineering
    Sydney 2052, Australia


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

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