From 9d461cfe35032e0e5ab3f01c7acbb559e70058fc Mon Sep 17 00:00:00 2001
From: Valerii Koval <valeros@users.noreply.github.com>
Date: Fri, 24 Nov 2023 14:03:52 +0200
Subject: [PATCH] Downgrade GCC toolchain to v7 for Arduino-mbed boards

The toolchain version now corresponds to GCC used by the
original Arduino core to avoid compatibility issues

Resolves #185
---
 platform.json | 1 +
 platform.py   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform.json b/platform.json
index ce235f1..74d1412 100644
--- a/platform.json
+++ b/platform.json
@@ -39,6 +39,7 @@
       "owner": "platformio",
       "version": ">=1.60301.0,<1.80000.0",
       "optionalVersions": [
+        "~1.70201.0",
         "~1.80201.0",
         "~1.90201.0"
       ]
diff --git a/platform.py b/platform.py
index e477696..2cec3af 100644
--- a/platform.py
+++ b/platform.py
@@ -54,7 +54,7 @@ def configure_default_packages(self, variables, targets):
                     self.packages["tool-gperf"]["optional"] = False
 
             if board in ("nano33ble", "nicla_sense_me"):
-                self.packages["toolchain-gccarmnoneeabi"]["version"] = "~1.80201.0"
+                self.packages["toolchain-gccarmnoneeabi"]["version"] = "~1.70201.0"
                 self.frameworks["arduino"]["package"] = "framework-arduino-mbed"
                 self.frameworks["arduino"][
                     "script"