1 # SPDX-License-Identifier: GPL-2.0-or-later
4 # TI Stellaris LM4F232 Evaluation Kits
6 # http://www.ti.com/tool/ek-lm4f232
10 # NOTE: using the bundled ICDI interface is optional!
11 # This interface is not ftdi based as previous boards were
13 source [find interface/ti-icdi.cfg]
15 transport select hla_jtag
17 set WORKAREASIZE 0x8000
19 source [find target/stellaris.cfg]