Configure default adapter speed for CMSIS-DAP

Author: valeros

platform.py

@@ -102,13 +102,13 @@ def _add_default_debug_tools(self, board):
 
     def configure_debug_options(self, initial_debug_options, ide_data):
         debug_options = copy.deepcopy(initial_debug_options)
-        adapter_speed = initial_debug_options.get("speed")
+        adapter_speed = initial_debug_options.get("speed", "5000")
         if adapter_speed:
             server_options = debug_options.get("server") or {}
             server_executable = server_options.get("executable", "").lower()
-            if "openocd" in server_executable:
+            if "target/cmsis-dap.cfg" in server_options.get("arguments", []):
                 debug_options["server"]["arguments"].extend(
-                    ["-c", "adapter speed %s" % adapter_speed]
+                    ["-c", "adapter_khz %s" % adapter_speed]
                 )
             elif "jlink" in server_executable:
                 debug_options["server"]["arguments"].extend(