#
  # TI Stellaris Launchpad ek-lm4f120xl Evaluation Kits
  #
  # http://www.ti.com/tool/ek-lm4f120xl
  #
  
  #
  # NOTE: using the bundled ICDI interface is optional!
  # This interface is not ftdi based as previous boards were
  #
  source [find interface/ti-icdi.cfg]
  
  transport select hla_jtag
  
  set WORKAREASIZE 0x8000
  set CHIPNAME lm4f120h5qr
  source [find target/stellaris.cfg]
  $_TARGETNAME configure -rtos auto