Hi everyone,
I want to measure a variety of important aspects of system performance on
CAMKES or RefOS. I know that Lmbench is an extensive suite of micro-benchmarks
that give powerful insights into system performance. And lmbench is written in
ANSI-C,so it is portable across a wide variety of systems and architectures.
Can I measure the system performance on CAMKES or RefOS using Lmbench ? Thank
you.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
