K 10 svn:author V 3 ian K 8 svn:date V 27 2016-05-26T23:56:12.188088Z K 7 svn:log V 177 Add a PPS driver that takes the timing pulse from a gpio pin. Currently supports only ofw/fdt systems. Some day, hinted attachment for non-fdt systems should be possible too. END