Hi, How does the kernel decides for which timer should be used? In my case I have a arm cpuand tthe following:kern.timecounter.tick: 1 kern.timecounter.choice: CPU Timer(1000) dummy(-1000000) kern.timecounter.hardware: CPU TimerThis do not work well at all, it runs to fast. Some can explain how this works?