Hello,

here my last patch for PPS support.

In my opinion it should be ok for inclusion... please, let me know if
something should be still changed.

Rodolfo

-- 

GNU/Linux Solutions                  e-mail:    giometti@enneenne.com
Linux Device Driver                             giometti@gnudd.com
Embedded Systems                     		giometti@linux.it
UNIX programming                     phone:     +39 349 2432127