[LinuxPPS] linuxPPS with 64 bits system

[Udo van den Heuvel]

On 2009-08-20 12:10, christophe taffoureau wrote:
> Does LinuxPPS patch support 64 bits kernel ?

I believe it does.

But I'd like reports from actual users, of course.

Udo