Hello,
I was testing some code that I wrote for the Tiva Launchpad and I noticed that the USB port enumerates with the string "Stellaris Virtual COM Port". It appears that this string escaped the Tiva to Stellaris name change. It all works the same but it looked a little funny when my instructions told the client to select "Stellaris" something or other to connect to a Tiva board. Client doesn't know what Stellaris is; only Tiva.
Not a problem, just something I noticed.