tcl/board/ti_dk-tm4c129.cfg

   1 # SPDX-License-Identifier: GPL-2.0-or-later
   2
   3 #
   4 # TI Tiva C DK-TM4C129X Connected Development Kit
   5 #
   6 # http://www.ti.com/tool/dk-tm4c129x
   7 #
   8
   9 source [find interface/ti-icdi.cfg]
  10
  11 transport select hla_jtag
  12
  13 set WORKAREASIZE 0x8000
  14 set CHIPNAME tm4c129xnczad
  15
  16 source [find target/stellaris.cfg]