Thanks all for the enlightening response. There is one bit I still don't get: How do I tell the kernel which port to look for the PPS signal on with PPS_SYNC?