Benchmarks in l4

Maxim Baryshnikov <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
Hello everybody,

     Does the L4re contain some kind of simple performance benchmarks 
which are already prepared to use? I've tried to launch some demos from 
the ferret package but not succeed...

     Thank you in advance for any suggestions.
     Sincerely,
Maxim Baryshnikov.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.