diff --git a/.gitmodules b/.gitmodules
index d39461e65..c56f6e0b6 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "verification/verifast/demos/FreeRTOS-SMP-Demos"]
 	path = verification/verifast/demos/FreeRTOS-SMP-Demos
 	url = https://github.com/Tobias-internship-AWS-2022/FreeRTOS-SMP-Demos.git
+[submodule "verification/verifast/sdks/pico-sdk"]
+	path = verification/verifast/sdks/pico-sdk
+	url = https://github.com/raspberrypi/pico-sdk.git
diff --git a/verification/verifast/sdks/pico-sdk b/verification/verifast/sdks/pico-sdk
new file mode 160000
index 000000000..2e6142b15
--- /dev/null
+++ b/verification/verifast/sdks/pico-sdk
@@ -0,0 +1 @@
+Subproject commit 2e6142b15b8a75c1227dd3edbe839193b2bf9041