[seL4] seL4 Kernel Profiler

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?

Thanks Chris Guikema