diff --git a/scripts/support/pyocd.sh b/scripts/support/pyocd.sh
index be9fcc0..57b11f2 100755
--- a/scripts/support/pyocd.sh
+++ b/scripts/support/pyocd.sh
@@ -14,6 +14,11 @@
 	PYOCD_BOARD_ID_ARG="-b ${PYOCD_BOARD_ID}"
 fi
 
+PYOCD_DAPARG_ARG=""
+if [ -n "${PYOCD_DAPARG}" ]; then
+	PYOCD_DAPARG_ARG="-da ${PYOCD_DAPARG}"
+fi
+
 test_config() {
     if ! which ${PYOCD_FLASHTOOL} >/dev/null 2>&1; then
         echo "Error: Unable to locate pyOCD flash tool: ${PYOCD_FLASHTOOL}"
@@ -38,7 +43,8 @@
 
     # flash device with specified image
     echo "Flashing Target Device"
-    ${PYOCD_FLASHTOOL} -t ${PYOCD_TARGET} ${PYOCD_BOARD_ID_ARG} ${BIN_NAME}
+    ${PYOCD_FLASHTOOL} ${PYOCD_DAPARG_ARG} -t ${PYOCD_TARGET} \
+	${PYOCD_BOARD_ID_ARG} ${BIN_NAME}
 }
 
 
@@ -64,7 +70,8 @@
         SETSID=
     fi
     echo "pyOCD GDB server running on port ${GDB_PORT}"
-    ${SETSID} ${PYOCD_GDBSERVER} -p ${GDB_PORT} -t ${PYOCD_TARGET} ${PYOCD_BOARD_ID_ARG}
+    ${SETSID} ${PYOCD_GDBSERVER} ${PYOCD_DAPARG_ARG} -p ${GDB_PORT} \
+	-t ${PYOCD_TARGET} ${PYOCD_BOARD_ID_ARG}
 }
 
 CMD="$1"