Ich habe mir ein ESP32 Dev Board zugelegt, mit welchem ich herumexperimentieren möchte. Leider bekomme ich es über die Arduino IDE nicht connected. Das Board habe ich im Boardmanager installiert, und laut lsmod ist cp210x installiert. Trotzdem bekomme ich den Port nicht angezeigt. Außerdem gibt es seit der Installation in der IDE unter "Tools" sehr viele neue Auswahlfelder (von Upload-Speed bis PSRAM). Aber daran dürfte es ja kaum liegen, wenn nicht mal der COM(?)-Port erkannt wird...
Das Problem hat sich aber gelöst: Es war eine Mischung aus verschiedenen Fehlern. Scheinbar waren zwei USB-Kabel fehlerhaft. Außerdem war die Python-Version zu alt.
sudo apt-get install python-serial python3-serial hat geholfen.