Re: How much of microkernel?

["Thomas E. Spanjaard" <tgen@xxxxxxxxxxxxx>]

Joerg Sonnenberger wrote:
> On Tue, Aug 22, 2006 at 07:22:57PM +0000, Thomas E. Spanjaard wrote:
> > [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.

Hmm, it doesn't mention which Linux version it uses, but Wombat uses a 
2.6 Linux these days.

Cheers,
--
        Thomas E. Spanjaard
        tgen@xxxxxxxxxxxxx

Attachment: signature.asc
Description: OpenPGP digital signature