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:

CONFIG_HSI_CHAR=m
CONFIG_PPS=m
CONFIG_PPS_DEBUG=y

PPS clients support

CONFIG_PPS_CLIENT_KTIMER=m
CONFIG_PPS_CLIENT_LDISC=m
CONFIG_PPS_CLIENT_PARPORT=m
CONFIG_PPS_CLIENT_GPIO=m

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!