Hello Shuo Wang,
Is there any profiler on Genode like lmbench on Linux?
there is no such tool available. But in cases where your application does not depend on a particular kernel, you may use Linux profiling tools. We regularly run test scenarios on base-linux and use oprofile to investigate performance bottlenecks. Of course, this approach works only if the to-be-profiled component does not depend on a specific kernel or hardware.
Best regards Norman