RP2040: correct system clock frequency to fix delay()

Author: facchinm

patches/0090-RP2040-correct-system-clock-frequency.patch

@@ -0,0 +1,36 @@
+From 8ccd98f8d597f315f33fbe943f5a8c5f8d0e28d1 Mon Sep 17 00:00:00 2001
+From: Martino Facchin <m.facchin@arduino.cc>
+Date: Mon, 6 Dec 2021 12:02:28 +0100
+Subject: [PATCH] RP2040: correct system clock frequency
+
+Fixes https://github.com/arduino/ArduinoCore-mbed/issues/271
+---
+ .../TARGET_RP2040/TARGET_NANO_RP2040_CONNECT/board.c            | 2 +-
+ .../TARGET_RP2040/TARGET_RASPBERRY_PI_PICO/board.c              | 2 +-
+ 2 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_NANO_RP2040_CONNECT/board.c b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_NANO_RP2040_CONNECT/board.c
+index 1f775638f9..b9ad1319af 100644
+--- a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_NANO_RP2040_CONNECT/board.c
++++ b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_NANO_RP2040_CONNECT/board.c
+@@ -1,3 +1,3 @@
+ #include "PinNames.h"
+ 
+-uint32_t SystemCoreClock = 120000000;
+\ No newline at end of file
++uint32_t SystemCoreClock = 125000000;
+\ No newline at end of file
+diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_RASPBERRY_PI_PICO/board.c b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_RASPBERRY_PI_PICO/board.c
+index 1f775638f9..b9ad1319af 100644
+--- a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_RASPBERRY_PI_PICO/board.c
++++ b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/TARGET_RASPBERRY_PI_PICO/board.c
+@@ -1,3 +1,3 @@
+ #include "PinNames.h"
+ 
+-uint32_t SystemCoreClock = 120000000;
+\ No newline at end of file
++uint32_t SystemCoreClock = 125000000;
+\ No newline at end of file
+-- 
+2.34.1
+