Hello all, School's about to end so I can finally work on this. I think there is a standard GPIO PPS driver, configured using the device tree but I haven't tried that.