diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 000000000..d39461e65
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[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