Hi Jilong,
I’m wondering if there is a way to get thread CPU utilization info for Fiasco.OC kernel in Genode.
if you just want to know the CPU utilization as a tool for guiding optimization efforts, you may find the kernel debugger useful. The thread info display (using the "lp" command, then selecting a thread via cursor keys and pressing return) shows the duration the thread was executed, e.g.:
cpu time: 215.000 ms
To make the retrieval of the consumed time per thread more convenient, there is the following patch by Christian Prochaska. It displays the CPU time directly in the list of present threads ("lp"):
https://github.com/cproc/foc/commit/9edd0eeacdbd7c659c4d8595bf273f16c397d353
Cheers Norman