james machado <hvgeekwt...@gmail.com> wrote: > you should not need to load the ktimer module to get your PPS working. > That is the debug module and fakes PPS to the kernel. Verify that > the kernel you installed was an uncompressed kernel. Did you compile > it yourself or did you get it off the net? The kernels that come as > part of the Raspberry Pi Linux distributions are not able to do PPS > and must modified and then recompiled. You can check if your running > kernel supports the PPS_GPIO by looking in the /proc/config.gz file > (zcat /proc/config.gz | less ) and search for CONFIG_PPS_CLIENT_GPIO > it is probably equal to 'm'. If it "is not set" or doesn't exist then > the kernel you are running can not support PPS on the RPi.
A delayed thank you for this posting! It was truely helpful, as I was almost going crazy, because my PPS pulse seemingly was placed at a random position against NTP time. Now I know why :) My mistake was compiling the stock Raspbian kernel without the specific gpio-pps patch. The stock kernel can be recompiled to have PPS, only one that did not work for me. The specific patch https://raw.github.com/lampeh/rpi-misc/master/linux-pps/linux-rpi-pps-gpio-bcm2708.diff did it for me. /ralph _______________________________________________ questions mailing list questions@lists.ntp.org http://lists.ntp.org/listinfo/questions