linux では、 hwclock と云うコマンドがあって
特に困ったことはなかったが、FreeBSDはkernel変数を変更しないと時計が何をどうしても狂ってダメなので、記録しておく。
# sysctl -w kern.timecounter.hardware=ACPI-fast
kern.timecounter.hardware: TSC -> ACPI-fast
あとで
/etc/sysctl.conf に
kern.timecounter.hardware=ACPI-fast
を追加すること。
