rtc and kern.hz setting

[Kay Lehmann]

Hello everybody,

sorry I have to ask this, but can you tell me where (how) I have to set 
kern.hz. It was sometimes said that a value of 1000 should be a good 
choice for vmware. And since I get errors when vmware is under heavy 
load, I want to increase it (it seems to be set to 100, according to the 
error-messages). Is this a kernel option (there is no note about it in 
LINT) or is it a sysctl-variable (when it is, it isn't set yet)?

Thanks and greets,
Kay