MacOS X on L4
Authors
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} }