pps-gen-gpio

Linux kernel PPS generator using GPIO pins.

In kernel 4.14 there is no support for using a GPIO pin as a PPS generator, only a GPIO PPS client is available. This driver is derived from the current parallel port PPS generator and provides a PPS signal through a GPIO pin specified in the device tree. The PPS signal is synchronized to the tv_sec increment of the wall clock.

We have tested the driver with kernel 4.14.20 on a Beaglebone Black where P9 pin 16 (GPIO1_19) is used as PPS output. The corresponding modified device tree file is here shown.

Usage

If you use a Beaglebone Black and want to change the PPS output pin, you have to modify your device tree file (am335x-boneblack.dts) accordingly:

• Make sure you have the right pin multiplexing setting:

    pps_gen_pins: pinmux_pps_gen_pins {
    	pinctrl-single,pins = <
    		0x4C (PIN_OUTPUT_PULLDOWN | MUX_MODE7) /* gpmc_a3.gpio1_19 */
  

Check the BBB System Reference Manual and the am335x Technical Reference Manual to find out the correct pinmux table offset of the chosen pin.

• The pps-gen-gpios property defines the pin you want to use as a PPS output:

    pps-gen {
    		pinctrl-names = "default";
    		pinctrl-0 = <&pps_gen_pins>;
    		compatible = "pps-gen-gpio";
    		pps-gen-gpio = <&gpio1 19 GPIO_ACTIVE_HIGH>;
    		default-state = "off";
  

Please note that in order to use the module with any other board using the device tree infrastructure, the following matching definitions are required in the device tree:

	pps-gen               node defined for the PPS GPIO
	pps-gen-gpio          value of ".compatible" property in pps-gen node
	pps-gen-gpio          property in pps-gen node that defines which GPIO pin is used

After modifying the device tree, add the files into drivers/pps/generators and configure the driver to be built as a module. You need to enable PPS support in the kernel.