On Thu, Jul 22, 2021 at 05:50:01AM +0000, Frank Kardel wrote: > Can you try > > sysctl -w kern.timecounter.hardware=i8254 On x86, you normally have much better options available. HPET or the PCI hostbridge (which the ACPI time counter also uses) are much faster and have a higher resolution. Joerg