Hi @kmaruani,
I do not use RevPi, but there is a native driver available here:
Related discussions:
There is also a more generic Linux GPIO driver here, that we are using with Techbase hardware:
Your use-case should be possible with this standard controller:
Regards,
Stefan