add temp control mixed camkes

santoslab · Oct 22, 2024 · f032102 · f032102
1 parent fdd7f31
commit f032102
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "models/temp-control/sysml-temp-control-periodic"]
 	path = models/temp-control/sysml-temp-control-periodic
 	url = https://github.com/santoslab/sysml-temp-control-periodic.git
+[submodule "models/temp-control/sysml-temp-control-mixed-sel4-camkes"]
+	path = models/temp-control/sysml-temp-control-mixed-sel4-camkes
+	url = https://github.com/santoslab/sysml-temp-control-mixed-sel4-camkes.git
diff --git a/models/temp-control/sysml-temp-control-mixed-sel4-camkes b/models/temp-control/sysml-temp-control-mixed-sel4-camkes