# SPDX-License-Identifier: GPL-2.0-or-later
echo "WARNING: board/ek-tm4c1294xl.cfg is deprecated, please switch to board/ti_ek-tm4c1294xl.cfg"
source [find board/ti_ek-tm4c1294xl.cfg]