From: Martin Stein <martin.stein@ge...> - 2013-08-15 10:54:48
Although this feature is not meant to be pushed onto genodelabs/master,
i've observed that it's often useful for me to have some tools in
base-hw that allow for typical tracing anytime the kernel is called.
Thus i started a branch
https://github.com/m-stein/genode/tree/hw_kernel_trace that provides
such tools in form of simple commits, wich one can cherry-pick to its
current issue branch just in case. I'll try to keep this branch
up-to-date with genodelabs/master manually.