Can Wachy be used to trace kernel code as well? And would you need to do anything specific to get that to work? (How would Wachy find the kernel sources?)
I was thinking this would be pretty cool to use for debugging device drivers on embedded devices especially w.r.t latency.