Dear all,

Is there any profiler on Genode like lmbench on Linux?

Shuo Wang

UCAs