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

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

0) 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').

1) 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'...

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

2b) Select `Hardware PPS support' after selecting the serial driver

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

3b) OPTIONAL: Have a small break with coffee, tee, cookies, or whatever...

4a) Activate the new kernel and reboot (as usual)...

4b) 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.

5) OPTIONAL: You can try the optional `mad-time' patch that is also
   included.  In that case you would be restarting at step 1)

6) Do whatever you like ;-) If you use xntpd, be sure to get a recent
   version like xntp3-5.91.  The patch won't automatically create a
   symbolic link from <sys/ppsclock.h> to <linux/ppsclock.h>; do that
   manually (cd /usr/include && ln -s linux/ppsclock.h
   sys/ppsclock.h). There is a xntpd patch included to get the ATOM
   driver working.  You'll also 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.
