echo "WARNING: board/ek-tm4c123gxl.cfg is deprecated, please switch to board/ti_ek-tm4c123gxl.cfg"

source [find board/ti_ek-tm4c123gxl.cfg]