Magnus Eriksson(magetoo%fastmail.fm@localhost) said 2008.11.24 15:00:20 +0000:
> On Mon, 24 Nov 2008, Jared D. McNeill wrote:
> >>If you run the following command as root:
> >>
> >> # sysctl -w kern.timecounter.hardware=i8254
> >>
> >>Does the problem go away?
>
> Yup:
> [..]
>
> Everything else seems to work as well. What are the relevant options if I
> want to make this permanent in a custom kernel? (short of disabling ACPI
> entirely)
Put the sysctl line in /etc/sysctl.conf, i.e.:
echo "kern.timecounter.hardware=i8254" >> /etc/sysctl.conf
> MAgnus
--Wouter