improve diff_bits

[x300-pci] / raspberrypi-native.cfg

diff --git a/raspberrypi-native.cfg b/raspberrypi-native.cfg
index 912320f..4b3d493 100644 (file)
--- a/raspberrypi-native.cfg
+++ b/raspberrypi-native.cfg
@@ -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