Skip to content

Commit

Permalink
update submodule
Browse files Browse the repository at this point in the history
  • Loading branch information
@jasonbelt
jasonbelt committed Oct 22, 2024
1 parent f032102 commit 2fcabc5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion models/temp-control/sysml-temp-control-mixed-sel4-camkes
Submodule sysml-temp-control-mixed-sel4-camkes updated 59 files
+59 −0 bin/clean.cmd
+16 −0 bin/docker-setup.cmd
+4 −4 hamr/c/etc_seL4/adapters/Fan_fp_ft/Fan_fp_ft_adapter.c
+4 −4 hamr/c/etc_seL4/adapters/TempControl_tcp_tct/TempControl_tcp_tct_adapter.c
+4 −4 hamr/c/etc_seL4/adapters/TempSensor_tsp_tst/TempSensor_tsp_tst_adapter.c
+0 −10 hamr/camkes/components/Fan_fp_f/Fan_fp_f.camkes
+0 −12 hamr/camkes/components/Fan_fp_f/includes/sb_Fan.h
+0 −134 hamr/camkes/components/Fan_fp_f/src/sb_Fan.c
+0 −15 hamr/camkes/components/TempControl_tcp_tc/TempControl_tcp_tc.camkes
+0 −16 hamr/camkes/components/TempControl_tcp_tc/includes/sb_TempControl.h
+0 −311 hamr/camkes/components/TempControl_tcp_tc/src/sb_TempControl.c
+0 −11 hamr/camkes/components/TempSensor_tsp_ts/TempSensor_tsp_ts.camkes
+0 −12 hamr/camkes/components/TempSensor_tsp_ts/includes/sb_TempSensor.h
+0 −96 hamr/camkes/components/TempSensor_tsp_ts/src/sb_TempSensor.c
+10 −10 hamr/camkes/kernel/domain_schedule.c
+7 −7 hamr/camkes/slang_libraries/Fan_fp_ft/CMakeLists.txt
+2 −2 hamr/camkes/slang_libraries/Fan_fp_ft/app-ft_seL4App/ft_seL4App.c
+11 −11 hamr/camkes/slang_libraries/Fan_fp_ft/library/art/art_Art.c
+0 −70 hamr/camkes/slang_libraries/Fan_fp_ft/library/tc/Fan_fp_ft/tc_Fan_fp_ft_ft.h
+155 −155 hamr/camkes/slang_libraries/Fan_fp_ft/library/tc/Fan_fp_ft/tc_Fan_fp_ft_ft_seL4App.c
+70 −0 hamr/camkes/slang_libraries/Fan_fp_ft/library/tc/Fan_fp_ft/tc_Fan_fp_ft_ft_seL4App.h
+2 −2 hamr/camkes/slang_libraries/Fan_fp_ft/library/tc/Fan_fp_ft/type-tc_Fan_fp_ft_ft_seL4App.h
+1 −1 hamr/camkes/slang_libraries/Fan_fp_ft/runtime/all.h
+1 −1 hamr/camkes/slang_libraries/Fan_fp_ft/runtime/types.h
+3 −3 hamr/camkes/slang_libraries/SlangTypeLibrary/CMakeLists.txt
+7 −7 hamr/camkes/slang_libraries/TempControl_tcp_tct/CMakeLists.txt
+2 −2 hamr/camkes/slang_libraries/TempControl_tcp_tct/app-tct_seL4App/tct_seL4App.c
+11 −11 hamr/camkes/slang_libraries/TempControl_tcp_tct/library/art/art_Art.c
+0 −91 hamr/camkes/slang_libraries/TempControl_tcp_tct/library/tc/TempControl_tcp_tct/tc_TempControl_tcp_tct_tct.h
+217 −217 ...kes/slang_libraries/TempControl_tcp_tct/library/tc/TempControl_tcp_tct/tc_TempControl_tcp_tct_tct_seL4App.c
+91 −0 ...kes/slang_libraries/TempControl_tcp_tct/library/tc/TempControl_tcp_tct/tc_TempControl_tcp_tct_tct_seL4App.h
+0 −15 ...camkes/slang_libraries/TempControl_tcp_tct/library/tc/TempControl_tcp_tct/type-tc_TempControl_tcp_tct_tct.h
+15 −0 ...lang_libraries/TempControl_tcp_tct/library/tc/TempControl_tcp_tct/type-tc_TempControl_tcp_tct_tct_seL4App.h
+1 −1 hamr/camkes/slang_libraries/TempControl_tcp_tct/runtime/all.h
+1 −1 hamr/camkes/slang_libraries/TempControl_tcp_tct/runtime/types.h
+7 −7 hamr/camkes/slang_libraries/TempSensor_tsp_tst/CMakeLists.txt
+2 −2 hamr/camkes/slang_libraries/TempSensor_tsp_tst/app-tst_seL4App/tst_seL4App.c
+9 −9 hamr/camkes/slang_libraries/TempSensor_tsp_tst/library/art/art_Art.c
+0 −66 hamr/camkes/slang_libraries/TempSensor_tsp_tst/library/tc/TempSensor_tsp_tst/tc_TempSensor_tsp_tst_tst.h
+152 −152 ...camkes/slang_libraries/TempSensor_tsp_tst/library/tc/TempSensor_tsp_tst/tc_TempSensor_tsp_tst_tst_seL4App.c
+66 −0 ...camkes/slang_libraries/TempSensor_tsp_tst/library/tc/TempSensor_tsp_tst/tc_TempSensor_tsp_tst_tst_seL4App.h
+0 −15 hamr/camkes/slang_libraries/TempSensor_tsp_tst/library/tc/TempSensor_tsp_tst/type-tc_TempSensor_tsp_tst_tst.h
+15 −0 ...s/slang_libraries/TempSensor_tsp_tst/library/tc/TempSensor_tsp_tst/type-tc_TempSensor_tsp_tst_tst_seL4App.h
+1 −1 hamr/camkes/slang_libraries/TempSensor_tsp_tst/runtime/all.h
+1 −1 hamr/camkes/slang_libraries/TempSensor_tsp_tst/runtime/types.h
+4 −4 hamr/slang-rm/bin/project.cmd
+321 −0 hamr/slang-rm/src/main/component/tc/TempControlMixedSeL4CAmKES/TempControl_tcp_tc.scala
+103 −0 hamr/slang-rm/src/test/bridge/tc/TempControlMixedSeL4CAmKES/TempControl_tcp_tc_GumboX_UnitTests.scala
+23 −0 hamr/slang-rm/src/test/bridge/tc/TempControlMixedSeL4CAmKES/TempControl_tcp_tc_Test.scala
+4 −4 hamr/slang/bin/project.cmd
+0 −6 hamr/slang/bin/settings_Fan_fp_f.cmake
+0 −6 hamr/slang/bin/settings_TempControl_tcp_tc.cmake
+0 −6 hamr/slang/bin/settings_TempSensor_tsp_ts.cmake
+6 −6 hamr/slang/bin/transpile-sel4.cmd
+321 −0 hamr/slang/src/main/component/tc/TempControlMixedSeL4CAmKES/TempControl_tcp_tc.scala
+1 −1 hamr/slang/src/main/seL4Nix/tc/Fan_fp_ft/ft_seL4App.scala
+1 −1 hamr/slang/src/main/seL4Nix/tc/TempControl_tcp_tct/tct_seL4App.scala
+1 −1 hamr/slang/src/main/seL4Nix/tc/TempSensor_tsp_tst/tst_seL4App.scala
+2 −1 readme.md

0 comments on commit 2fcabc5

Please sign in to comment.