Benchmarks in l4

Maxim Baryshnikov barysmax at
Thu Apr 28 17:31:24 CEST 2016

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.
Maxim Baryshnikov.

More information about the l4-hackers mailing list