Hi group,
here are beta releases for SDRplay radios on raspberry pi.
The 64 bit version seems to have an issue if you use the the headphone audio socket on the rpi, everything slows to a crawl, it works for me with an external usb audio interface, I would be interested to hear if anyone else has this issue.
You need to install the api from the SDRplay website, (only the api is needed)
73 Alan M0NNB