PPS input on GPIO pin RPI2.

[Ian Lepore]

On Thu, 2016-11-17 at 16:36 -0700, Peter Ankerstål wrote:
> > On 7 Apr 2016, at 14:43, Ian Lepore <ian at freebsd.org> wrote:
> > 
> > I have no firm ETA, but I did get enough of a proof-of-concept
> > hacked
> > together yesterday that I was able to get pps input working on a
> > gpio
> > pin on a wandboard (and that work will generalize to any of the arm
> > boards that use FDT data pretty quickly), so it shouldn't be much
> > longer.
> > 
> 
> Hi!
> 
> I just stumbled upon this project: 
> 
> https://github.com/BobBallance/freebsd-gpio-pps
> 
> 
> Thanks again for your work.
> 
> /Peter.
> 

I committed a gpiopps driver months ago...

https://svnweb.freebsd.org/base/head/sys/dev/gpio/gpiopps.c?view=log

It should work on any system that uses FDT data.

-- Ian