[LinuxPPS] linuxPPS with 64 bits system

[christophe taffoureau]

Hi,

For our software, we patched the 32 bits kernel with PPSkit to manage 
the synchronisation of our application.
We want to upgrade and improve our software with a 64 bits linux kernel 
and switch the synchronisation management to LinuxPPS.

Does LinuxPPS patch support 64 bits kernel ?

Thanks for your answer.

best regards

Christophe TAFFOUREAU