diff --git a/.gitmodules b/.gitmodules
index b8b7ed1..b702f3d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,6 +1,10 @@
 [submodule "LibAFL"]
 	path = LibAFL
-	url = https://github.com/AFLplusplus/LibAFL
+	url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FRET-Qemu.git
 [submodule "qemu-libafl-bridge"]
 	path = qemu-libafl-bridge
-	url = https://github.com/AFLplusplus/qemu-libafl-bridge
+	url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/qemu.git
+[submodule "FreeRTOS"]
+	path = FreeRTOS
+	url = ssh://git@git.cs.tu-dortmund.de:2222/alwin.berger/FreeRTOS.git
+	branch = wcet-demo
diff --git a/FreeRTOS b/FreeRTOS
new file mode 160000
index 0000000..1873f6e
--- /dev/null
+++ b/FreeRTOS
@@ -0,0 +1 @@
+Subproject commit 1873f6e75ea3f2a695438942192437f66aff8873
diff --git a/LibAFL b/LibAFL
index eeaf7eb..183ff32 160000
--- a/LibAFL
+++ b/LibAFL
@@ -1 +1 @@
-Subproject commit eeaf7eb43f76fe744617e47807081c8cc447380b
+Subproject commit 183ff32beb1062d02c0ab290c0a1ebef8513bcca
diff --git a/flake.nix b/flake.nix
index 73d8404..924c6d6 100644
--- a/flake.nix
+++ b/flake.nix
@@ -50,6 +50,8 @@
             # dependencies for mosaic
             freetype
             fontconfig
+            # benchmarking
+            snakemake
           ];
 
           shellHook = ''
diff --git a/qemu-libafl-bridge b/qemu-libafl-bridge
index 7f19e25..9599557 160000
--- a/qemu-libafl-bridge
+++ b/qemu-libafl-bridge
@@ -1 +1 @@
-Subproject commit 7f19e258a17d3aa136df4ea990fcf11d263717ac
+Subproject commit 95995576a0adf43df4b6660963fd490ccbc230f3