--- /dev/null
+# Change the default telnet port...
+telnet_port 4444
+
+# Port for TCL connection.
+tcl_port 6666
+
+# GDB connects here
+gdb_port 3333
+
+# configurable interface
+source [find interface.tcl]
+
+# configurable cpu
+source [find cpu.tcl]
+
+init
+reset run