I have a TIVA DK-TM4C129X that I've loaded the cookie-cutter USB_DEV_MSC example program after building with a hand-rolled GCC. Although I have no problems getting the program up and running, enumerating and all that jazz, the drive that shows up on my Windows XP machine fails to open because it is not formatted. When I try to format it, it suggests that the device is 64 MB, but it immediately dumps out of the formatting saying "Windows was unable to complete the formatting." I am using the TivaWare distribution "TivaWare_C_Series-2.0.1.11577" and flashed the thing with lm4flash version 0.1.
I have not tried working this with CCS, however, I don't think the compiler has much to do with this situation.
I forgot to mention, I have not changed any of the jumper positions from the default setup. In this setup, all the flash/SD jumpers are in place.