Rename SCHED_CHANGE_PRI to better describe functionality.
[bertos.git] / bertos / cpu / arm / scripts / openocd / openocd-0.2.0_at91sam7_rom_flash.cfg
1 # Change the default telnet port...
2 telnet_port 4444
3
4 # Port for TCL connection.
5 tcl_port 6666
6
7 # GDB connects here
8 gdb_port 3333
9
10 # configurable interface
11 source [find interface.tcl]
12
13 # configurable cpu
14 source [find cpu.tcl]
15
16 init
17 reset run