davidk/rpi-linux-configs
[Outdated] Configurations used to compile Raspberry Pi kernels w/PPS-GPIO for hardware-assisted time keeping (NTP)
Public GitHub Catalog
Discovered Sep 25, 2026
davidk / adafruit-raspberrypi-linux
Deprecated: Fork of Adafruit's kernel has modifications for 1PPS (GPS) over GPIO pin 23. Warning: May be rebased when Adafruit updates!
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5512367GitHub System ID
davidkOrganization / User
PublicVisibility
ActiveCatalog Status
More from davidk
davidk/adafruit-raspberrypi-linux-pps
Deprecated: Compiled kernel image and modules with PPS over GPIO pin 23 added
davidk/pytinysong
Deprecated: Talk to the Tinysong API using Python