How much of microkernel?

Thomas E. Spanjaard tgen at
Tue Aug 22 13:00:34 PDT 2006

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

        Thomas E. Spanjaard
        tgen at xxxxxxxxxxxxx
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pgp00006.pgp
Type: application/octet-stream
Size: 186 bytes
Desc: "Description: OpenPGP digital signature"
URL: <>

More information about the Kernel mailing list