> Where do I put the benchmark to use it in L4 Fiasco console?
> How can I launch the benchmark in the L4 Fiasco console?

What benchmark is that? What requirements does it have?
 The benchmark is lmbench, bonnie++ and AIM-suite9

Davide Fasoli