Do you see the MKR 1000 appear in the Arduino IDE's Tools > Port menu after you do the double reset and make the LED pulse?