Serial USB and Serial

Most of the Arduino examples are debugging and providing output via Serial.print, but the USB port of the official Arduino M0 kernel is changed to SerialUSB.

We have fixed this problem so you can use USB for debugging when using Serial and SerialUSB. TX1, RX1 and TX, RX are set to Serial1 and Serial2 respectively.