Other Parts Discussed in Thread: ENERGIA
It seems that there is interest in SVD files for the TM4C series, however unfortunately TI is unable to provide them for some reason. In fact TI has already published register descriptions in a machine-readable format, as a part of the "DSLite" component of the Energia IDE. I wrote a tool to convert these files to the SVD format, dslite2svd. Enjoy!