18 Nov
2016
18 Nov
'16
2:25 a.m.
On 2016-11-17 10:00, Chris Guikema wrote:
Hello,
I am working on a Code Profiler for use in seL4 Systems. I see that the Kernel already has some form of profiling/benchmarking functionality built in. However, I do not see anything in the documentation that covers how this is used.
Is there a guide that I can follow to get the kernel profile functional?
There's some information on the wiki here: https://wiki.sel4.systems/Benchmarking%20guide You could see sel4bench for many examples of the functionality. https://github.com/seL4/sel4bench -- cmr http://octayn.net/