Re: Time of day clock runs at twice the speed on (old) laptop

[Wouter Klouwen <dublet%acm.org@localhost>]

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