Hello,

here my new patch for PPS support in Linux.

I tried to follow your suggestions as much possible! Please let me
know if this new version could be more acceptable.

Thanks in advance,

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