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

+ Unpack your Linux-i386 kernel

+ 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'

+ 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

+ do whatever you like ;-)
