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