Hi Kristian, Am 17.03.2012 18:50, schrieb Kristian Fiskerstrand: > You can change the clocksource by setting the clocksource= kernel > option in your respective GRUB/LILO* setup, e.g. "clocksource=tsc" ** .
I will give it a try: [ 0.180033] Switching to clocksource tsc Christian _______________________________________________ Sks-devel mailing list Sks-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/sks-devel