+++ /dev/null
-# Change the default telnet port...
-telnet_port 4444
-
-# Port for TCL connection.
-tcl_port 6666
-
-# GDB connects here
-gdb_port 3333
-
-source [find PROGRAMMER_TYPE]
-
-source [find PROGRAMMER_CPU]
-
-$_TARGETNAME configure -event reset-start {
- cpu_setup
-}
-
-$_TARGETNAME configure -event gdb-detach {
- shutdown
-}
-
-init
-reset run