nextupprevious

Methodology

Examine L4Linux versus native Linux.

Also compare against user-level and in-kernel Mach port.

Used 133MHz Pentium PC with 64MB of RAM.

Use cycle counter register of Pentium chip to measure cycles.