Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / davidk / rpi-linux-configs
Public GitHub Catalog Discovered Sep 26, 2026

davidk / rpi-linux-configs

[Outdated] Configurations used to compile Raspberry Pi kernels w/PPS-GPIO for hardware-assisted time keeping (NTP)

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.

#8412761GitHub System ID
davidkOrganization / User
PublicVisibility
ActiveCatalog Status

More from davidk

↗

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!

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.