diff --git a/.gitmodules b/.gitmodules
index 5afeb408be..63eb65be52 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -76,10 +76,6 @@
 [submodule "FreeRTOS-Plus/Source/FreeRTOS-Cellular-Modules/sara-r4"]
 	path = FreeRTOS-Plus/Source/FreeRTOS-Cellular-Modules/sara-r4
 	url = https://github.com/FreeRTOS/Lab-FreeRTOS-Cellular-Interface-Reference-ublox-SARA-R4.git
-[submodule "FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/demos/FreeRTOS-SMP-Demos"]
-	path = FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/demos/FreeRTOS-SMP-Demos
-	url = https://github.com/Tobias-internship-AWS-2022/FreeRTOS-SMP-Demos.git
-	branch = verifast
 [submodule "FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/sdks/pico-sdk.git"]
 	path = FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/sdks/pico-sdk
 	url = https://github.com/Tobias-internship-AWS-2022/pico-sdk.git
diff --git a/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/demos/FreeRTOS-SMP-Demos b/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/demos/FreeRTOS-SMP-Demos
deleted file mode 160000
index 345437a815..0000000000
--- a/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/demos/FreeRTOS-SMP-Demos
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 345437a815defb4d7ccc549d3f04e7ec0883e8ad
diff --git a/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/preprocessing_scripts/pp_flags.sh b/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/preprocessing_scripts/pp_flags.sh
index b51ccfa618..63be7c7c85 100755
--- a/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/preprocessing_scripts/pp_flags.sh
+++ b/FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/preprocessing_scripts/pp_flags.sh
@@ -116,8 +116,6 @@ PICO_INCLUDE_FLAGS=(
 
 declare -a RP2040_INCLUDE_FLAGS
 RP2040_INLCUDE_FLAGS=(
-    -I"$SMP_DEMO_DIR/FreeRTOS/Demo/CORTEX_M0+_RP2040/OnEitherCore"
-    -I"$SMP_DEMO_DIR/FreeRTOS/Demo/CORTEX_M0+_RP2040/build/generated/pico_base"
     -I"$VF_PROOF_BASE_DIR/portable/ThirdParty/GCC/RP2040/include"
     -I"$VF_PROOF_BASE_DIR/FreeRTOS/Source/portable/ThirdParty/GCC/RP2040"
 )