On 5/31/07, Matthew Dillon <dillon at apollo.backplane.com> wrote: System timer could have gotten messed up by the video BIOS. What timer is your system using? sysctl kern.cputimer kern.cputimer.freq-1193182 kern.cputimer.name=i8254_timer2 kern.cputimer.select=i8254_timer2 dummy cheers kmb -- Something is wrong up on cloud # 9!