diff --git a/.gitmodules b/.gitmodules
index 969087631..c0ce92937 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,8 @@
 [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
+	branch = verifast
 [submodule "verification/verifast/sdks/pico-sdk"]
 	path = verification/verifast/sdks/pico-sdk
 	url = https://github.com/Tobias-internship-AWS-2022/pico-sdk.git
+	branch = verifast