I'm writing a clone of RPi.GPIO for the Rock64, which you can find here: https://forum.pine64.org/showthread.php?tid=5902
All of the basics are already implemented and working. Handling LEDs, buttons, PWM, etc. is already quite do-able.
All of the basics are already implemented and working. Handling LEDs, buttons, PWM, etc. is already quite do-able.