0060-RP2040-include-multicore-library-in-build.patch

From b2d24587212d35a08c99c8712b00f7531c7c6cf4 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Tue, 11 May 2021 09:41:45 +0200
Subject: [PATCH 060/204] RP2040: include multicore library in build

---
 targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore      | 1 -
 .../pico-sdk/rp2_common/pico_multicore/multicore.c        | 8 ++++----
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore
index c7a477981a..0581f97d6e 100644
--- a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore
+++ b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/.mbedignore
@@ -5,7 +5,6 @@ pico-sdk/rp2_common/pico_printf*
 pico-sdk/boards/include/boards/*
 pico-sdk/common/pico_base/include/pico/*
 pico-sdk/rp2_common/boot_stage2/*
-pico-sdk/rp2_common/pico_multicore/*
 pico-sdk/rp2_common/pico_malloc/*
 pico-sdk/rp2_common/pico_stdlib/
 pico-sdk/rp2_common/pico_mem_ops/*
diff --git a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_multicore/multicore.c b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_multicore/multicore.c
index 0ceea4def8..6b2321f12f 100644
--- a/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_multicore/multicore.c
+++ b/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/rp2_common/pico_multicore/multicore.c
@@ -4,12 +4,12 @@
  * SPDX-License-Identifier: BSD-3-Clause
  */
 
-#include "pico/stdlib.h"
-#include "pico/multicore.h"
+#include "hardware/structs/sio.h"
+#include "pico/time.h"
 #include "hardware/sync.h"
+#include "pico/multicore.h"
 #include "hardware/irq.h"
 #include "hardware/structs/scb.h"
-#include "hardware/structs/sio.h"
 #include "hardware/regs/psm.h"
 #include "hardware/claim.h"
 #if PICO_USE_STACK_GUARDS
@@ -259,4 +259,4 @@ bool multicore_lockout_end_timeout_us(uint64_t timeout_us) {
 
 void multicore_lockout_end_blocking() {
     multicore_lockout_end_block_until(at_the_end_of_time);
-}
\ No newline at end of file
+}
-- 
2.39.1