I have a GPS receiver connected to a Pi, with 1PPS input connected to GPIO4. This GPS module does not have a PPS or lock LED, so I would like to have it indicate with the activity LED. Based on the output of cat /sys/devices/platform/leds/leds/led0/trigger I see that "gpio" is a trigger option, but I don't see how to declare which GPIO is used!
I have been looking through ledtrig-gpio.c to figure out what syntax it wants but I haven't made any progress so far.
For what it's worth, I am using a Pi 3b+ with DietPi (Debian Buster).
Thanks!
