Re: How much of microkernel?

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

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@xxxxxxxxxxxxx

Attachment: signature.asc
Description: OpenPGP digital signature