Re: Linux kernel file name
Tue, 10 Dec 1996 02:41:15 -0500

Well, since the whole point of the exercise is so I can do an nlist() on
the kernel to read the values of tick and tickadj (or whatever they're
called under linux), there's no need for me to know the kernel name if I
can't do an nlist() on it because it's compressed.

Therefore, unless I get patches from somebody that I can cleanly apply
and are not too crufty, the official way to get the values for tick and
tickadj under linux have just become:

- Read default values from ntp.conf, or

- use the PRESET_TICK{,ADJ} values that are compiled in.