Yes, it uses a Serial1 object in addition to the Serial object to access the second hardware serial port, just like the Mega uses Serial1, Serial2, etc.
That support is not in the 0016 release of the Gator Arduino tools but will be in 0017
What is the ETD when the release 0017 will be available?
