1 files changed, 8 insertions, 0 deletions
diff --git a/gpsmon.c b/gpsmon.c
index c3eb3bd5..8a35138e 100644
--- a/gpsmon.c
+++ b/gpsmon.c
@@ -1296,6 +1296,14 @@ int main(int argc, char **argv)
 	/* this guard suppresses a warning on Bluetooth devices */
 	if (session.sourcetype == source_rs232 || session.sourcetype == source_usb) {
 	    session.pps_thread.report_hook = pps_report;
+	    /*
+	     * The Raspberry Pi kludge. If we're using /dev/ttyAMA0, 
+	     * and there is a static /dev/pps0, and we have access because
+	     * we're root, assume we want to use KPPS. 
+	     */
+	    if (strcmp(session.pps_thread.devicename, "/dev/ttyAMA0") == 0
+	    		&& access("/dev/pps0", R_OK | W_OK) == 0)
+		session.pps_thread.devicename = "/dev/pps0";
 	    pps_thread_activate(&session.pps_thread);
 	}
 #endif /* PPS_ENABLE */