cc3200 Hardware Serial

Hello all,

Love the site and have found a ton of useful information here!  I have a question regarding hardware serial on a CC3200 launchpad (rev 4.1).  I have found the pinmaps at http://energia.nu/pin-maps/guide_cc3200launchpad/ and they reference TX/RX, TX(0)/RX(0), and TX(1)/RX(1).  I was looking for clarification on how these relate to Serial, Serial1, etc.  I have a project that uses I2C and UART and would like to keep the FTDI UART as well for debug.

P.S. a similar question was asked here, but this particular part was not answered

Thanks,

Andy