How much of microkernel?

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.
Doh.

[1] http://www.ertos.nicta.com.au/research/l4/performance.pml

Cheers,
--
        Thomas E. Spanjaard
        tgen at xxxxxxxxxxxxx
Attachment:
signature.asc
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pgp00005.pgp
Type: application/octet-stream
Size: 186 bytes
Desc: "Description: OpenPGP digital signature"
URL: <http://lists.dragonflybsd.org/pipermail/kernel/attachments/20060822/237e8960/attachment-0016.obj>