One thing I noticed is that, when I plug in multiple arduino boards, I still only get one slot: core:usb20-serial. When I try to flash them from the arduino IDE, one of them randomly gives a “permission denied” error. In general, the last one you plug in is the one you can access, but sometimes it changes.
Is this expected behavior? Should I see multiple slots or should multiple serial-ports work with the same slot?