PII SMP system hangs during boot with ACPI enabled

[John Polstra]

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.

John