Finally, the source code of the RevPi DIO module's ffirmware is online.
You can download the source code from GitHub:
https://github.com/RevolutionPi/IODeviceExample
There are not many comments in the code. Please do not hesitate to ask, if something is unclear.
Mathias