For those wanting better timekeeping than normal NTP, but who do not want to bother with recompiled kernels, I've written up a few notes about using software from Folkert van Heusden to provide user-mode PPS operation.
formatting link
If it's of use, that's great, otherwise please ignore this post.