|Combined time offset||N/A µs|
|Clock frequency offset||N/A PPM|
|Combined system jitter||N/A|
|Poll messages sent||N/A|
|Bad date or time||N/A|
A minimal SD-card image based on Raspberry Pi's Raspbian distribution featuring PPS-enabled kernel and ntpd.
It expects a gpsd-compatible GPS device connected to UART0 (P1-08/1-10, GPIO 14/15) and a PPS signal on P1-12 (GPIO 18).
Remember: The Pi's GPIO pins tolerate 3.3V levels only!
This is a riser card with PPS-LED to fit the GPS module within the Raspberry Pi Case. I ordered the PCBs from OSH Park for $3.90 per 3 copies (plus $8 international shipping). Schematics and board layout in Eagle 6 format are available from GitHub.
The board provides an option to connect the PPS signal to GPIO 4, in case GPIO 18 is used otherwise (e.g. for PWM): Remove bridge R3 and wire the PPS line to "ALT PPS". This also requires changing "pps_gpio_info.gpio_pin" to 4 in arch/arm/mach-bcm2708/bcm2708.c in the kernel source and compiling a new kernel image.