From 5995eb2ac47b212a38b06fb7151f9ed5c47e5ee2 Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Tue, 11 Oct 2022 14:34:41 -0400
Subject: [PATCH] Added Pico SDK repo as submodule.

---
 .gitmodules                         | 3 +++
 verification/verifast/sdks/pico-sdk | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 verification/verifast/sdks/pico-sdk

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