Debian lenny の時計がおかしい

Debian lenny になってからどうも調子が悪い。
また完全に時計が止まってしまった。よくみると、dmesg に

Clocksource tsc unstable (delta = 4687871751 ns)

って出てた。障害発生よりだいぶ前なので、原因かどうかは不明。

clocksouce の設定

とりあえず、clocksource を tsc から acpi_pm に変えておいた。

/boot/grub/menu.lst

# kopt=root=/dev/sda3 ro clocksource=acpi_pm

あとは、

 # update-grub

して、再起動。これで様子をみてみることにする。

clocksource の確認

カーネルが対応している clocksource の確認方法は、

 $ cat /sys/devices/system/clocksource/clocksource0/available_clocksource 

現在の clocksource の確認方法は、

 $ cat /sys/devices/system/clocksource/clocksource0/current_clocksource