commit 6d87da4c59d2e72674e5095fbcf120e0bf9ef02d
author Graham Sanderson <graham.sanderson@raspberrypi.com> Wed May 05 11:46:25 2021 -0500
committer GitHub <noreply@github.com> Wed May 05 11:46:25 2021 -0500
tree b7a841b44f9cef9de596eafebb986b07bc8cfda7
parent ec0dc7a88b07b9d6d0b53de4bc8363881c87ada5

Rework lock_core / timers (#378)

- Add recursive_mutex
  - Make all locking primitives and sleep use common overridable wait/notify support to allow RTOS
    implementations to replace WFE/SEV with something more appropriate
  - Add busy_wait_ms

pico_sdk_init.cmake

diff --git a/pico_sdk_init.cmake b/pico_sdk_init.cmake
index 879842c..e8405b2 100644
--- a/pico_sdk_init.cmake
+++ b/pico_sdk_init.cmake
@@ -35,8 +35,8 @@
 
     include(pico_pre_load_platform)
 
-    # todo perhaps this should be included by the platform instead?
     # We want to configure correct toolchain prior to project load
+    # todo perhaps this should be included by the platform instead?
     include(pico_pre_load_toolchain)
 
     macro(pico_sdk_init)