Thank you for the instructions. The GNSS-SDR is now running nicely on my Ubuntu 17.10 in VirtualBox.
The only difference is the RX connection. I can only see the GPS signals through the RX1_L port.
Is there any way to select a specific RX antenna port in the osmosdr_args or with the SoapySDRUtil?
I found the following discussion in the discourse, but it didn’t give me a clear answer.