Working with the TM4C123G I was able to make good use of a table I found here http://users.ece.utexas.edu/~valvano/Volume1/E-Book/C6_MicrocontrollerPorts.htm (table attached6558.PMCx bits in the GPIOCTL Register.xls) that had a listing of possible pin assignments. I haven't been able to make the pinmux utility run on Ubuntu so I was hoping I might find a similar table for the TM4C129X.
Does anyone have a copy of that table? or could I request someone copy/paste their pinmux output for the 129X into a spreadsheet and attach it here?