diff --git a/demos/RP/RT-RP2040-PICO/Makefile b/demos/RP/RT-RP2040-PICO/Makefile
index 933cc61b6..2b0742a79 100644
--- a/demos/RP/RT-RP2040-PICO/Makefile
+++ b/demos/RP/RT-RP2040-PICO/Makefile
@@ -86,7 +86,7 @@ endif
 PROJECT = ch
 
 # Target settings.
-MCU  = cortex-m0
+MCU  = cortex-m0plus
 
 # Imported source files and paths.
 CHIBIOS  := ../../..
@@ -112,6 +112,7 @@ include $(CHIBIOS)/tools/mk/autobuild.mk
 include $(CHIBIOS)/test/lib/test.mk
 include $(CHIBIOS)/test/rt/rt_test.mk
 include $(CHIBIOS)/test/oslib/oslib_test.mk
+include $(CHIBIOS)/os/various/pico_bindings/pico-sdk.mk
 
 # Define linker script file here
 LDSCRIPT= $(STARTUPLD)/RP2040_RAM.ld
@@ -120,6 +121,7 @@ LDSCRIPT= $(STARTUPLD)/RP2040_RAM.ld
 # setting.
 CSRC = $(ALLCSRC) \
        $(TESTSRC) \
+       $(PICOSDKROOT)/src/rp2_common/hardware_clocks/clocks.c \
        main.c
 
 # C++ sources that can be compiled in ARM or THUMB mode depending on the global
diff --git a/os/various/pico_bindings/dumb/include/pico/config_autogen.h b/os/various/pico_bindings/dumb/include/pico/config_autogen.h
new file mode 100644
index 000000000..50d104c7f
--- /dev/null
+++ b/os/various/pico_bindings/dumb/include/pico/config_autogen.h
@@ -0,0 +1,2 @@
+#include "boards/pico.h"
+
diff --git a/os/various/pico_bindings/dumb/include/pico/version.h b/os/various/pico_bindings/dumb/include/pico/version.h
new file mode 100644
index 000000000..c32561577
--- /dev/null
+++ b/os/various/pico_bindings/dumb/include/pico/version.h
@@ -0,0 +1,19 @@
+/*
+ * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+
+// ---------------------------------------
+// THIS FILE IS AUTOGENERATED; DO NOT EDIT
+// ---------------------------------------
+
+#ifndef _PICO_VERSION_H
+#define _PICO_VERSION_H
+
+#define PICO_SDK_VERSION_MAJOR    1
+#define PICO_SDK_VERSION_MINOR    1
+#define PICO_SDK_VERSION_REVISION 0
+#define PICO_SDK_VERSION_STRING   "1.1.0"
+
+#endif
diff --git a/os/various/pico_bindings/pico-sdk.mk b/os/various/pico_bindings/pico-sdk.mk
new file mode 100644
index 000000000..963fa2f95
--- /dev/null
+++ b/os/various/pico_bindings/pico-sdk.mk
@@ -0,0 +1,22 @@
+# Pico-SDK files.
+PICOSDKROOT   := $(CHIBIOS)/ext/pico-sdk
+PICOSDKSRC     =
+
+PICOSDKINC     = $(CHIBIOS)//os/various/pico_bindings/dumb/include \
+                 $(PICOSDKROOT)/src/common/pico_base/include \
+                 $(PICOSDKROOT)/src/rp2_common/pico_platform/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_base/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_clocks/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_gpio/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_irq/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_pll/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_resets/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_xosc/include \
+                 $(PICOSDKROOT)/src/rp2_common/hardware_watchdog/include \
+                 $(PICOSDKROOT)/src/rp2040/hardware_regs/include \
+                 $(PICOSDKROOT)/src/rp2040/hardware_structs/include \
+                 $(PICOSDKROOT)/src/boards/include
+
+# Shared variables
+ALLCSRC += $(PICOSDKSRC)
+ALLINC  += $(PICOSDKINC)