Hi, you can use the pingpong tool from the L4Re snapshot [1]. We would appreciate if you could share your benchmarking results with us. Due to the flexibility of the possible configurations we offer to give feedback on whether the numbers are reasonable. Best, Matthias. [1] http://l4re.org/download/snapshots/ On [21-09-2022 08:21], Mincheol Sung wrote:

Hi,

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

_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

-- Matthias Lange phone: +49 (0) 351-41 888 614 Senior Operating Systems Engineer web: https://www.kernkonzept.com Kernkonzept GmbH Buchenstraße 16b 01097 Dresden Geschäftsführer: Dr.-Ing. Michael Hohmuth Registergericht: Amtsgericht Dresden Handelsregister: HRB 31129 You might not be working when I am and that's ok! Please make sure to only reply when it suits you. Mails can wait.