# 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