On Sat, May 10, 2008 at 11:50:19AM +0100, Rui Paulo wrote: > > Can you boot with "kern.hz=100" and check whether or not it makes a > difference? There is no sysctl called kern.hz: sysctl kern.hz sysctl: unknown oid 'kern.hz' Greetings René Maroufi -- René Maroufi info at maroufi.net