IRQ GPIO / pps-gpio on LaFrite S805X

Funny I came across this only after going through the same process haha Pin 11 definitely needs the jumper to connect to the 40p header, otherwise that overlay should work. Wish I had thought to just connect to the jumper pin though!

Not having any jumpers on hand, and not satisfied with my jury rig, I modified the overlay to just use pin 12, which also conveniently matches zab4522’s instructions

pps-gpio-7j1-12.dts:

/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/amlogic,meson-gxl-gpio-intc.h>

/ {
        compatible = "libretech,aml-s805x-ac", "amlogic,s805x", "amlogic,meson-gxl";

        fragment@0 {
                target-path = "/";
                __overlay__ {
                        pps_gpio: pps-gpio {
                                compatible = "pps-gpio";
                                pinctrl-names = "default";
                                pinctrl-o = <&i2s_out_ao_clk_pins>;
                                gpios = <&gpio GPIOH_7 GPIO_ACTIVE_HIGH>;
                                interrupts = <&gpio_intc IRQID_GPIOH_7 IRQ_TYPE_EDGE_RISING>;
                                assert-rising-edge;
                                status = "okay";
                        };
                };
        };
};

The meson-gxl-gpio-intc.h include is in the official pps overlay from the s905x that I copied over.