Gunnar Beutner 8614d18956 Kernel: Use a separate timer for profiling the system ...

This updates the profiling subsystem to use a separate timer to
trigger CPU sampling. This timer has a higher resolution (1000Hz)
and is independent from the scheduler. At a later time the
resolution could even be made configurable with an argument for
sys$profiling_enable() - but not today.

2021-05-14 00:35:57 +02:00

14 KiB

Raw Blame History

View Raw