I see what you mean.
No Debian .. http://www.imgtec.com/Downloads/Docu...rVRDrivers.asp
But the drivers source is available for compile.
"source as a RPM or TGZ file to build the drivers for your Linux distribution, by following the instructions in the README file."

Does this indicate that if the driver were compiled properly and working the API would then be usable.