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/
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
