From 143e76755ef1ed799307f1b79efa09dc557755ba Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Tue, 11 Oct 2022 11:54:32 -0400
Subject: [PATCH] Added FreeRTOS-SMP-Demos repo as submodule.

---
 .gitmodules | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .gitmodules

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