mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-04 17:53:07 +00:00
Optionally log scheduling-context execution time in addition to the thread-context. This may be relevant on kernel platforms that do not schedule threads on their own CPU share only but implement some kind of donation scheme, for example, NOVA. Usage <config sc_time="yes" ...> ... </config> Fixes #4805