How much of microkernel?

Thomas E. Spanjaard tgen at
Tue Aug 22 12:30:33 PDT 2006

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.


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

More information about the Kernel mailing list