Is there a benchmark for the IPC of L4Re?
Mincheol Sung <[email protected]> Wed, 21 Sep 2022 08:21:15 -0400
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CADRF_JGzbM03t+gbTyghToA_GTxqdjbQaZ+4SgMj=e-twFtPPA@mail.gmail.com> |
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 [email protected] https://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers