More likely it is some driver hogging interrupts (turning them offfor too long). You can boot with report_lost_ticks, then the normaltimer interrupt will complain. Note it always triggers at boot a fewtimes.

When you find the culprit report it to the driver driver maintainer.

> > It might be that the message is OK here since I do not see a fast clock. I mention this> since powernow is active here.> > Should HPET be available in UP?

HPET is used on HPET only as the backing clock and to run the timer interrupt,but not for gettimeofday because using the TSC is considerablefaster there. Actually the actual strategy is bit more complicated,it also depends on some other things.