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

---
 verification/verifast/demos/FreeRTOS-SMP-Demos | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 verification/verifast/demos/FreeRTOS-SMP-Demos

diff --git a/verification/verifast/demos/FreeRTOS-SMP-Demos b/verification/verifast/demos/FreeRTOS-SMP-Demos
new file mode 160000
index 000000000..c84926ada
--- /dev/null
+++ b/verification/verifast/demos/FreeRTOS-SMP-Demos
@@ -0,0 +1 @@
+Subproject commit c84926adafd83830f75c3b59c85988a9898b7351