#gdb_port 3334
telnet_port 4445
tcl_port 6667

interface usb_blaster