Recently I received my Tiva Launch Pad. I use Linux only, so wanted to try its programming/ debugging using OpenOCD+arm-gdb.
I created the following board config file in the directory /usr/local/share/openocd/scripts/board/
ek-tm4c123gxl.cfg:
----------------------------------------------------
#
# TI Tiva Launchpad ek-tm4c123gxl Evaluation Kits
#
# http://www.ti.com/tool/ek-tm4c123gxl
#
#
# NOTE: using the bundled ICDI interface is optional!
# This interface is not ftdi based as previous boards were
#
source [find interface/ti-icdi.cfg]
set WORKAREASIZE 0x8000
set CHIPNAME tm4c123gh6pm
source [find target/stellaris_icdi.cfg]
------------------------------------------------------------------
and it works fine. I have tested with project0 and hello