IMPORTANT NOTE ON BENCHMARKING Fiasco.OC/L4RE SOFTWARE
======================================================

Owing to the flexibility of configurations possible with this software we
urge you to send any benchmarking results for review prior to publication to

  benchmarking@os.inf.tu-dresden.de

to get feedback and an 'OK' from our side that the presented figures are
reasonable.

Thanks.