I have connected the device via USB, downloaded the latest version of Arduino IDE (1.8.5) installed (automatically offered) the drivers for the mkr, and there's nothing in the serial port selector besides the bluetooth. I've also installed the FTDI drivers but the same scenario.
What else can I try?
Error message:
Arduino: 1.8.5 (Mac OS X), Board: "Arduino/Genuino MKR1000"
Sketch uses 9624 bytes (3%) of program storage space. Maximum is 262144 bytes.
Couldn't find a Board on the selected port. Check that you have the correct port selected. If it is correct, try pressing the board's reset button after initiating the upload.
Seems like it is trying the bloutooth port
PORTS {/dev/cu.Bluetooth-Incoming-Port, /dev/tty.Bluetooth-Incoming-Port, } / {/dev/cu.Bluetooth-Incoming-Port, /dev/tty.Bluetooth-Incoming-Port, } => {}