Title:		Mac OS X on L4

Author:		Ka-shu Wong

		School of Computer Science and Engineering,
		The University of New South Wales, Sydney 2052, Australia,
		kswong@cse.unsw.edu.au

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.