0089-RP2040-correct-system-clock-frequency.patch

From 79b674df052e7a5cb6c9b71d65416c23565470ec 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 089/204] 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.39.1