The Arduino IDE is pretty friendly ... you fire up GDB with your elf file name and issue the command: You can run the two parts on different computers, so use a hostname if necessary (that ...

You’ll also need the Arduino IDE (a recent copy ... the CPU how we want the FPGA configured and it will do it for us as part of our Arduino program (I really hate saying sketch).

The software works with Arduino IDE, and you can even load existing Arduino ... the Raspberry Pi is significantly harder, however, as parts of its hardware are not open-source.