The Arduino IDE worked fine using the sources from within the IDE only (ie using the board manager and the example firmware). Granted that was a couple of weeks ago, so maybe I should rerun it.

If an Arduino port is not showing up, your USB connection might be faulty or the ports may be disabled entirely. We will show you how to enable a port in Arduino and look it up in the Device Manager.

A ROS catkin library that can be used to port Arduino-based code to run on the Raspberry Pi. This port is designed to be as compatible as possible with Arduino code interfacing with it. For more info ...

In it, he shows an example of using all three ESP32 UARTs from an Arduino program. He calls the third port “secret” although that’s really a misnomer.

Connecting the Intel® Edison board to your Android* Phone with Serial Port Profile (SPP) describes how to connect your Edison board to Android* Phone with SPP, however, you cannot get the input ...