Pulse per Second (PPS) support for Linux. Signed-off-by: Rodolfo Giometti --- Here my last release of PPS support for Linux. The difference against my last patch is about all userland specific code (timepps.h) which has been removed, I hope now you can consider adding it into kernel source tree! Please, let me know if I still should fix something else. ---