PPS documentation

[Achim Gratz]

The kernel PPS documentation in docs/kernpps.txt still mentions PPSkit as
the PPS API provider on Linux.  PPSkit has not seen a release since 2007
and was replaced with the integration of LinuxPPS into the mainline
kernel somewhere in 2009.

It should probably be mentioned that hardpps is not available even with
the PPS API present on most distributions since it is incompatible with
a tickless kernel, something that became standard somewhere in the 3.x
line of Linux kernels ca. 2012.


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

SD adaptation for Waldorf microQ V2.22R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada