On Sat, 2007-04-21 at 20:07 -0300, Guilherme M. Schroeder wrote:-john stultz wrote:On 4/19/07, guilherme <guilherme@xxxxxxxxxxxxxxxxx> wrote:Boot ok with clocksource=acpi_pm and HPET enabled.Hi,Hmmm.. What happens if you boot w/ clocksource=acpi_pm ?
If i enable "High Resolution Timer Support", my machine stops here at boot:
Clocksource tsc unstable (delta = -297340790165 ns)
Time: hpet clocksource has been installed.
If i disable HPET, it boots fine.
Any clue?
I'm suspecting that your HPET counter is being stopped for some reason,
although why I have no idea.
Just to get a clear picture, does this happen w/ "Tickless System
(Dynamic ticks)" disabled in the menuconfig?
Thomas, might we be actually stopping the HPET counter instead of
disabling the HPET interrupt w/ dynticks?
thanks
-john