Merge remote-tracking branch 'origin/develop' into develop

Author: patrickwasp

platform.py

@@ -99,6 +99,9 @@ def configure_default_packages(self, variables, targets):
                 self.packages["tool-gperf"]["optional"] = False
 
         for name in disabled_pkgs:
+            # OpenOCD should be available when debugging
+            if name == "tool-openocd" and variables.get("build_type", "") == "debug":
+                continue
             del self.packages[name]
         return super().configure_default_packages(variables, targets)