(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)

+ Apply the patch (as usual, hopefully). If you intend to use xntpd,
  you'll have to make a ``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 your usual kernel

+ Activate the new kernel and reboot

+ If you build the serial driver as a module, load that module (insmod
  serial.o)

+ Do whatever you like ;-) If you use xntpd, be sure to get a recent
  version like xntp3-5.90.2.  You'll ahve 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.
