Pps-gpio overlay?

Has anyone created a pps-gpio overlay to allow the pps-gpio.ko kernel module to use a rock pi gpio pin?

Similar to https://github.com/raspberrypi/linux/blob/rpi-4.4.y/arch/arm/boot/dts/overlays/pps-gpio-overlay.dts for RPI perhaps?