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