PPS input on GPIO pin RPI2.

[Andreas Ott]

Hi,

> 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.

Please confirm, this is in HEAD and CURRENT and has not yet been MFC 
into STABLE.

I will start on a RPI2 with an image from snapshots/arm/armv6/ISO-IMAGES/12.0/
and see how far I get.

-andreas