PPS is working with interrupt, the only problem at the moment is if you pull out the gps cable, linux freezes until it plugged back in. I'll fix this soon.
Jacks update.
Merge branch 'master' of https://github.com/anthonix/ntp-fpga