How much of microkernel?

[Joerg Sonnenberger]

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] http://www.ertos.nicta.com.au/research/l4/performance.pml

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.

Joerg