23 Sep
2022
23 Sep
'22
10:11 a.m.
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.