[LinuxPPS] PPS kernel discipline

[Udo van den Heuvel]

Thorsten Mühlfelder wrote:
> When kernel PPS support is enabled, the PPS driver can direct the signal 
> directly to the kernel. Note that the PPS driver does not normally enable 
> the PPS kernel, since performance is generally better with older systems. 

So it is optional.
Disabled by default.
And without that stuff works(TM).
So it is for improving even more.

Is a VIA Ek8000 quick enough?