PPS drivers not installing

I’m encountering difficulties with installing the PPS driver. Here are the steps I’ve taken so far:

I installed Linux source codes using the command: sudo apt-get source linux

I included PPS in the kernel configuration by modifying .config as follows:


PPS clients support


I executed sudo make drivers/pps/ to generate pps-ktimer.o.

Upon trying to load the module with sudo modprobe pps-ktimer, I encountered the following error:

modprobe: ERROR: could not insert 'pps_ktimer': Exec format error

Despite having the latest version of the driver installed, I’m unable to utilize modprobe, which prevents me from running the ppstest codes mentioned in the documentation here.

I encounter the following error when running

./ppstest /dev/pps1:
trying PPS source "/dev/pps1"
unable to open device "/dev/pps1" (No such file or directory)

Any guidance on resolving this issue would be greatly appreciated. Thank you!