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