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 -- Johannes Schlatow Genode Labs https://www.genode-labs.com/ · https://genode.org/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
