Trustworthy Systems

Performance limits of Darwin on L4


Tom Birch

    School of Computer Science and Engineering
    Sydney 2052, Australia


Title: Virtualising Darwin on L4 Author: Tom Birch School of Computer Science and Engineering, The University of New South Wales, Sydney 2052, Australia, Abstract: Darwin is a modern operating system that forms the basis of Mac OS X, yet there are concerns about is performance due to its foundation on the Mach kernel. The L4 microkernel has taken many of the original goals of Mach and implemented them correctly, achieving high levels of performance. Darwin has been ported to run on top of L4, in order to take advantage of L4's high performance. This thesis details several areas of Darwin that have been modified to take advantage of L4's, and provides recommendations for further increases in the performance of L4/Darwin.

BibTeX Entry

    address          = {Sydney, Australia},
    author           = {Tom Birch},
    month            = oct,
    paperUrl         = {},
    school           = {School of Computer Science and Engineering},
    title            = {Performance Limits of {Darwin} on {L4}},
    year             = {2006}