> >Number:         1887
> >Category:       kern
> >Synopsis:       tickadj is too big for running xntp
[...]

> the method I have adopted is "options TICKADJ=5" in the kernel config file.

> this may not be the right method for a few reasons:
> 	1) integration of the PLL (PPL?) code into the kernel may make 
> 	this obsolete.
> 	2) should this be modifable as a kernel variable and not lumped
> 	into kern.clockrate?
> 	3) was there some technical reason that 40 was a better choice?

As for anyone who wants it modifiable, one of the things in my private
patch tree is a patch to kernfs to provide /kern/tickadj, mode 644, to
control tickadj.  (Long ago, I offered these changes and they were
refused on the grounds that sysctl was the right way to do it.  But now
that it's finally made it into sysctl, it's (a) read-only and (b)
lumped in with a bunch of other things, making it impractical to make
it RW.  Hrrmpf.)

					der Mouse

			    mouse@collatz.mcrcim.mcgill.edu