I am trying to measure the performance of the IPC of L4Re. I am wondering whether there is a benchmark for the IPC performance.

Mincheol