Bug#426414: extra info

[Mario Frasca <mariotomo@inventati.org>]

mariotomo@inventati.org wrote:
> On 2007-0605 18:34:26, maximilian attems wrote:
>   
> > Try booting with one of..
> >
> > nohz=off
> > maxcpus=1
> > hpet=disable
> > clocksource=acpi_pm
> >     
>
> I will try, but first I would like to know what these options are...
> why do you think that any of them could help?
>
> I'll try to find info googling, then I'll test,
>
> thanks,
> Mario
>   
tried with clocksource=acpi_pm

but no change.  (but I didn't find back the string in the file 
/sys/devices/system/clocksource/clocksource0/current_clocksource, so I'm 
not sure the test is valid.  by 'booting with one of', you mean 'when 
choosing the kernel to boot, add these parameters to the line', right?)

in the meanwhile I am running kernel 2.6.8 and during the last 3,5 hours 
there was no jump in time.

I will leave it running like this just to exclude a hardware problem, 
then we see.

ciao,
Mario