Ja, habe extra noch mal im Gerätemanager nachgeschaut.
Ich nutze hterm. Manchmal scheint auch das öffnen zu klappen, dann läuft das Terminal Fenster voll, aber ohne Inhalt, und dann stürzt das Terminal ab. Bisher hat das aber immer bei allen Aruinos und sämtlichen Anwendungen gut funktioniert.
Ich hatte vorhin noch eine Seite gefunden, auf der für die mkr Boards die Ports in einer Tabelle dargestellt waren. Serial war da nicht zum USB geroutet, nur Serial1 am entsprechenden Pin. Finde die Seite aber nicht mehr wieder...