At the moment, the only resources I've found are the 4212.svd-tiva-11073.zip file (which is unofficial and oddly structured) and Cortex Microcontroller Software Interface Standard (CMSIS) for Stellaris® MCUs: Device Header Files spmc018.zip (which contains a Windows executable that does not run on Windows 7 or Vista 64-bit, and apparently only has Stellaris devices).
There are also various postings in this and other E2E forums suggesting that some TI folks sometimes work on providing these, but no sign that there's an active plan to make CMSIS available in a robust and supported form.
At this time I'm specifically interested in CMSIS-CORE using gcc-arm embedded, but the other components are likely to become important.