Got rid of submodule pointing to forked SMP demo.

.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

FreeRTOS/Test/VeriFast/smp/tasks/vTaskSwitchContext/demos/FreeRTOS-SMP-Demos

@@ -1 +0,0 @@
-Subproject commit 345437a815defb4d7ccc549d3f04e7ec0883e8ad

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"
 )