How much of microkernel?

Joerg Sonnenberger joerg at
Tue Aug 22 12:44:08 PDT 2006

On Tue, Aug 22, 2006 at 07:22:57PM +0000, Thomas E. Spanjaard wrote:
> Thomas E. Spanjaard wrote:
> >A relevant benchmark here is the lat_ctx benchmark of lmbench, of which 
> >a comparison between Linux and L4 is given on [1]. Pretty impressive 
> >results I'd say, even when the rate of context switches is higher.
> Doh.
> [1]

This has been commented on as bogus before. In fact, most of the Linux
on top of L4 benchmarks are somewhat bogus, e.g. the original port was
"relatively" fast due to the short comings of the 2.4 kernel in various
areas, which got compensated by the L4 port.


More information about the Kernel mailing list