separate ports for different interfaces
authorDobrica Pavlinusic <dpavlin@rot13.org>
Thu, 9 Jun 2016 17:16:09 +0000 (19:16 +0200)
committerDobrica Pavlinusic <dpavlin@rot13.org>
Thu, 9 Jun 2016 17:16:09 +0000 (19:16 +0200)
raspberrypi-native.cfg
usbblaster.cfg

index 912320f..4b3d493 100644 (file)
@@ -8,6 +8,10 @@
 # Do not forget the GND connection, pin 6 of the expansion header.
 #
 
+#gdb_port 3333
+telnet_port 4444
+tcl_port 6666
+
 interface bcm2835gpio
 
 bcm2835gpio_peripheral_base 0x20000000
index ac05441..15426f2 100644 (file)
@@ -1 +1,5 @@
+#gdb_port 3334
+telnet_port 4445
+tcl_port 6667
+
 interface usb_blaster