telnet_port 4444
gdb_port 3333

source [find board/ek-lm4f120xl.cfg]