Hi Ian,
When attempting to upload any sketch containing the standard Servo library, via DeviceConfigure[ ], the compiler fails throwing these error messages:
(*
CCompilerDriver`CreateObjectFile::cmperr: Compile error: /tmp/arduinocompiled9edf4e353b24bba9a50e0b26eff8ed6/libs/Servo.h:69:2: error: #error "This library only supports boards with an AVR, SAM or SAMD processor."
ArduinoCompile`arduinoCompile::mainfail: Compilation of the sketch failed in the first stage
DeviceConfigure::compilefail: Compilation of the sketch failed. Halting
*)
However it seems more general than the Pi. I also tried compiling the same code through MMA v11.0 on a Linux Think Pad with the same result.
Thanks,
Francesco