Arduino MKR1000 Serial Ports

The problem was in fact in my code, and it was that I was using Serial() instead of Serial1(). On the MKR1000, the RX and TX pins are on Serial1(), and Serial() is used for USB communication...

Posting this reply for anyone who has the MKR1000, and is using Serial Communication.