Pps-gpio for s905x

@librecomputer Thank you for the suggestion. This version:

/*
 * Overlay to enable PPS on GPIOAO_6
 */

/dts-v1/;
/plugin/;

#include <dt-bindings/gpio/gpio.h>
#include <dt-bindings/gpio/meson-gxl-gpio.h>
#include <dt-bindings/interrupt-controller/irq.h>
#include <dt-bindings/interrupt-controller/meson-gic.h>

/ {
        compatible = "libretech,cc", "amlogic,s905x", "amlogic,meson-gxl";

        fragment@0 {
                target-path = "/";
                __overlay__ {
                        pps@0 {
                                compatible = "pps-gpio";
                                gpios = <&gpio_ao GPIOAO_6 GPIO_ACTIVE_HIGH>;
                        };
                };
        };
};

After make && sudo make install && ldto merge pps-new and reboot I get this in my dmesg:

jeff@potato:~/git/libretech-wiring-tool/libre-computer/aml-s905x-cc/dt$ dmesg |grep pps
[    0.664522] pps_core: LinuxPPS API ver. 1 registered
[    0.664536] pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <giometti@linux.it>
[    8.085724] pps-gpio pps@0: failed to map GPIO to IRQ: -6
[    8.085744] pps-gpio: probe of pps@0 failed with error -22
jeff@potato:~/git/libretech-wiring-tool/libre-computer/aml-s905x-cc/dt$

What is the proper way to assign an IRQ to a GPIO pin on this board?