Yo Achim! > Bug filed with the Raspberry Pi kernel folks: > https://github.com/raspberrypi/linux/issues/2352
Already an answer: Take this overlay: https://drive.google.com/file/d/1SRirIMwqLDgNHc3YTyUlB-rUuQtdtTym/view?usp=sharing Apply to 4.9.19 or newer. Add this to /boot/config.txt: dtoverlay=pps-gpio,gpiopin=13 dtoverlay=pps-gpio,gpiopin=14 dtoverlay=pps-gpio,gpiopin=15 And it works! ~ # ls /dev/pp* /dev/pps0 /dev/pps1 /dev/pps2 I've asked that is be added to git head. RGDS GARY --------------------------------------------------------------------------- Gary E. Miller Rellim 109 NW Wilmington Ave., Suite E, Bend, OR 97703 g...@rellim.com Tel:+1 541 382 8588 Veritas liberabit vos. -- Quid est veritas? "If you can’t measure it, you can’t improve it." - Lord Kelvin
pgpKSgKsoCfwA.pgp
Description: OpenPGP digital signature
_______________________________________________ devel mailing list devel@ntpsec.org http://lists.ntpsec.org/mailman/listinfo/devel