From 37a127f28ba66a934517ef7ead0636bb9a668175 Mon Sep 17 00:00:00 2001
From: Thibaut VIARD <thibaut.viard@atmel.com>
Date: Fri, 21 Nov 2014 15:35:06 +0100
Subject: [PATCH]  adding random port number for openocd server

Signed-off-by: Thibaut VIARD <thibaut.viard@atmel.com>
---
 variants/arduino_zero/openocd_scripts/arduino_zero.cfg | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/variants/arduino_zero/openocd_scripts/arduino_zero.cfg b/variants/arduino_zero/openocd_scripts/arduino_zero.cfg
index e6e03bb0..af45443b 100644
--- a/variants/arduino_zero/openocd_scripts/arduino_zero.cfg
+++ b/variants/arduino_zero/openocd_scripts/arduino_zero.cfg
@@ -24,4 +24,7 @@ source [find interface/cmsis-dap.cfg]
 set CHIPNAME at91samd21g18
 set ENDIAN little
 
+# choose a port here
+set telnet_port 9876
+
 source [find target/at91samdXX.cfg]
-- 
GitLab