Dominic is working on improving profiler support in seL4.
More contact information is available at the Contact page.
