Hi,  Lmbench supported different UNIX/POSIX systems architecture , so you will see a lot of header files which seL4 doesn&#39;t exist (<a href="https://github.com/dmonakhov/lmbench/blob/master/src/bench.h">https://github.com/dmonakhov/lmbench/blob/master/src/bench.h</a>) , hence we can not use Lmbench to measure.<br><br>Thanks, Gapry<br><div class="gmail_quote"><div dir="ltr">On Tue, Mar 8, 2016 at 3:58 PM ぷ风过无痕?? &lt;<a href="mailto:787738581@qq.com">787738581@qq.com</a>&gt; wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Hi everyone,</div><div>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.</div>_______________________________________________<br>
Devel mailing list<br>
Devel@sel4.systems<br>
<a href="https://sel4.systems/lists/listinfo/devel" rel="noreferrer" target="_blank">https://sel4.systems/lists/listinfo/devel</a><br>
</blockquote></div>