L4 benchmaks

[Christian Helmuth]

Hello again,

On Fri, Sep 14, 2007 at 09:38:31AM +0000, Davide Fasoli wrote:
> Because in the last discussion ("ipcmon error") I requested if there are
> benchmarks to compare L4 with eCos, and they asked me for what I needed
> them.

That is why I asked _you_ to use proper mailing tools and the simple feature
of "Reply-To" so me and others can follow your discussion threads. Would
you be so kind to follow the discussion guide lines, which extremely help
to limit the time people need to help _you_?

Thank you
-- 
Christian Helmuth

TU Dresden, Dept. of CS
Operating Systems Group
http://os.inf.tu-dresden.de/~ch12