Raspberry Pi GNU Radio

  1. install GNU Radio 3.7.11 (Ubuntu 18.04) or 3.7.10 (Debian stretch 9). This takes > 10 minutes even with a fast SD card.
   apt install gnuradio gnuradio-dev xvfb git

xvfb : headless X-server for software that assumes a display is connected. 2. for Red Pitaya with Raspberry Pi GNU Radio, also install

   apt install gr-hpsdr
  1. configure the Red Pitaya for six HPSDR receivers
  2. If needed, rename Ethernet interface to eth0