Motivation

First generation micro-kernels have reputation for poor performance (50% performance penalty?).

Examine the performance of a second generation micro-kernel architecture.

Don't compare at the micro-benchmark level.

Compare its performance with first-generation micro-kernel and with a native operating system.