Hi Martin,
- Adding support for tracing base-hw kernel threads via the TRACE session.
This reminds me of PR #2317 [1]. I still have a deprecated branch lying around that might be of interest in this matter [2].
[1]: https://github.com/genodelabs/genode/pull/2317 [2]: https://github.com/jschlatow/genode/commits/2317_Trace_execution_time