> Anyway, it might be more profitable in the long run to increase the
	> kernel clockrate.

	I would if I knew how.  As I understand it, not all hardware can do
	this, and I have no idea whether mine can - nor, if it can, how to make
	it do so.


option HZ=240  (or whatever) in the config file should do it.
The only machines that should have a problem with that are the
original sun4 boxes.

Eduardo