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,
address = {Sydney, Australia},
author = {{Ka-shu} Wong},
keywords = {Darbat, L4, Darwin, Mac OS X, Mach},
month = dec,
paperUrl = {https://trustworthy.systems/publications/theses_public/03/Wong%3Abe.ps.gz},
school = {School of Computer Science and Engineering},
title = {{MacOS} {X} on {L4}},
year = {2003}
}
Download