On Tue, 05 Jun 2007, Mario Frasca wrote: > any hint, please? > thanks, > Mario Try booting with one of.. nohz=off maxcpus=1 hpet=disable clocksource=acpi_pm -- maks