PPS through GPIO 26
I would like to use UP Board as GPS time server. There is no problem connecting GPS module to the board using uart or usb. I need more precise time measurements, leading to time synchronization via PPS pulse produced by GPS chip.
I would like to use some free GPIO pin (eg. pin 26) as a PPS device. Can anyone point me at a right direction of doing that? Kernel has pps-gpio module, but it needs to specify device in device tree, which is sadly not possible on x86 arch od UP Board.