(Emacs: -*- indented-text -*-)

		      Installation Instructions
			  for the PPSkit-0.3
			  Copyright (c) 1997
			   by Ulrich Windl

+ Unpack a compatible version of the Linux-i386 kernel sources (if not
  already done).  The kernel version should match the version of the
  patch (e.g. `patch-2.0.31pre9' matches `linux-2.0.31pre9').

+ The patches against the kernel follow the usual convention, that is
  you need `-p1' if your are standing in your kernel directory.  Apply
  the patch as usual (e.g. cd /usr/src/linux; patch -p1 <the_patch).
  If you intend to use xntpd, you'll have to make a symbolic link
  (``ln -s ../linux/ppsclock.h /usr/include/sys/ppsclock.h'').  I did
  not want to patch `/usr/include/sys'...

+ `make config' and enable `experimental drivers' if you want to try
  PPS support.  Other fixes are active anyway.

+ Select `Hardware PPS support' after selecting the serial driver

+ `make dep' and then make the kernel as usual (`make zImage')

+ Activate the new kernel and reboot (as usual)...

+ If you have built the serial driver as a module, load that module
  (`insmod serial.o') and be sure that the `PPS' option is displayed.

+ You can try the optional `mad-time' patch that is also included.

+ Do whatever you like ;-) If you use xntpd, be sure to get a recent
  version like xntp3-5.91.  You'll have to remove config.cache, do
  reconfigure, and recompile to get PPS support included in the
  binary.  You should have ATOM and LOCAL reference clocks in addition
  to your usual clocks enabled.
