-#
-# TI Tiva C Series ek-tm4c123gxl Launchpad Evaluation Kit
-#
-# http://www.ti.com/tool/ek-tm4c123gxl
-#
+# SPDX-License-Identifier: GPL-2.0-or-later
-source [find interface/ti-icdi.cfg]
+echo "WARNING: board/ek-tm4c123gxl.cfg is deprecated, please switch to board/ti_ek-tm4c123gxl.cfg"
-set WORKAREASIZE 0x8000
-set CHIPNAME tm4c123gh6pm
-source [find target/stellaris_icdi.cfg]
+source [find board/ti_ek-tm4c123gxl.cfg]