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/