After running kernel-deb and building the image I have the modules available, just to understand:
Is āmake kernel-debā not run when running āmakeā or āmake allā?
Who is interessted or finds this topic when searching for pps.
This is what i added to my kvim4.dts file (fenix/build/linux/arch/arm64/boot/dts/amlogic) to have a dedicated gpio for pps (GPIOT_19, IO5, Pin 37 on GPIO Header):
FYI, this is all a guess based upon other issues I found when compiling device trees for other other boards.
If you have an #include like gpio/gpio.h for example you will have to link to the linux kernel to get those for the file and hope it is a file in the kernel and not a missing āmissing.hā file. The other issue is when you have an #include you will have to preprocess using cpp. Then use dtc for the final .dtbo.
Post your .dts because I donāt have it. I am assuming that is the base devicetree, if not include the base and mux info.