PII SMP system hangs during boot with ACPI enabled

John Polstra jdp at polstra.com
Mon Nov 24 13:09:42 PST 2003

On 24-Nov-2003 Nate Lawson wrote:
> It's a long shot, but what about setting kern.timecounter.hardware to
> i8254.  It appears your ACPI timer is bad.  The reason why I suggest this
> is that it seems like interrupts are being lost.

I put kern.timecounter.hardware="i8254" into /boot/loader.conf, but
it didn't make any difference.  Are you sure it even works from
loader.conf?  From the sources it looks like this is a sysctl rather
than a tunable.  I could change it to a tunable, though, if you
think it's worthwhile.


More information about the freebsd-current mailing list