Sorry, I got slightly mixed up with the names...
I'm using the Raspberry Pi Desktop OS for PC (in a VMware environment), rather than the Raspbian desktop. The version of Arduino IDE is the regular Linux 64 bit version, not the Linux ARM variant.
Sorry, I got slightly mixed up with the names...
I'm using the Raspberry Pi Desktop OS for PC (in a VMware environment), rather than the Raspbian desktop. The version of Arduino IDE is the regular Linux 64 bit version, not the Linux ARM variant.