teensy-cores/teensy3/HardwareSerial3.cpp

#include "HardwareSerial.h"

HardwareSerial3 Serial3;