fix path

santoslab · May 10, 2024 · ea63cfb · ea63cfb
1 parent 0109b76
commit ea63cfb
Show file tree

Hide file tree

Showing 5 changed files with 15 additions and 10 deletions.
diff --git a/basic/test_data_port_periodic_domains/readme.md b/basic/test_data_port_periodic_domains/readme.md
@@ -149,7 +149,7 @@ repository.
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/basic/test_data_port_periodic_domains/hamr/camkes-seL4_Only/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/basic/test_data_port_periodic_domains/hamr/camkes-seL4_Only -s
+/home/camkes-tool-assessment-4/basic/test_data_port_periodic_domains/hamr/camkes-seL4_Only/bin/run-camkes.sh -c /home/camkes -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
@@ -220,7 +220,7 @@ Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/basic/test_data_port_periodic_domains/hamr/camkes-seL4/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/basic/test_data_port_periodic_domains/hamr/camkes-seL4 -s
+/home/camkes-tool-assessment-4/basic/test_data_port_periodic_domains/hamr/camkes-seL4/bin/run-camkes.sh -c /home/camkes -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation

diff --git a/basic/test_event_data_port_periodic_domains/readme.md b/basic/test_event_data_port_periodic_domains/readme.md
@@ -147,7 +147,7 @@ repository.
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/basic/test_event_data_port_periodic_domains/hamr/camkes-seL4_Only/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/basic/test_event_data_port_periodic_domains/hamr/camkes-seL4_Only -s
+/home/camkes-tool-assessment-4/basic/test_event_data_port_periodic_domains/hamr/camkes-seL4_Only/bin/run-camkes.sh -c /home/camkes -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
@@ -218,7 +218,7 @@ Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/basic/test_event_data_port_periodic_domains/hamr/camkes-seL4/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/basic/test_event_data_port_periodic_domains/hamr/camkes-seL4 -s
+/home/camkes-tool-assessment-4/basic/test_event_data_port_periodic_domains/hamr/camkes-seL4/bin/run-camkes.sh -c /home/camkes -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation

diff --git a/basic/test_event_port_periodic_domains/readme.md b/basic/test_event_port_periodic_domains/readme.md
@@ -147,7 +147,7 @@ repository.
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/basic/test_event_port_periodic_domains/hamr/camkes-seL4_Only/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/basic/test_event_port_periodic_domains/hamr/camkes-seL4_Only -s
+/home/camkes-tool-assessment-4/basic/test_event_port_periodic_domains/hamr/camkes-seL4_Only/bin/run-camkes.sh -c /home/camkes -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
@@ -216,7 +216,7 @@ Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/basic/test_event_port_periodic_domains/hamr/camkes-seL4/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/basic/test_event_port_periodic_domains/hamr/camkes-seL4 -s
+/home/camkes-tool-assessment-4/basic/test_event_port_periodic_domains/hamr/camkes-seL4/bin/run-camkes.sh -c /home/camkes -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation

diff --git a/bin/readme-gen/src/main/report/Report.scala b/bin/readme-gen/src/main/report/Report.scala
@@ -1191,6 +1191,11 @@ object Report {
         )
     }
 
+    val camkesRepoDir: ST =
+      t match {
+        case i: vm => st"/home/camkes-vm"
+        case i: Sel4Config => st"/home/camkes"
+      }
     val howToRerun = ReportLevel(
       tag = createTag(s"${t.name}-rerun"),
       title = Some(st"How to build and run"),
@@ -1210,7 +1215,7 @@ object Report {
             st"""**Build and simulate the system**
                 |
                 |```
-                |/home/camkes-tool-assessment-4/${repoRoot.relativize(camkesDir / "bin" / s"run-camkes.sh -c ${camkesDir} -s")}
+                |/home/camkes-tool-assessment-4/${repoRoot.relativize(camkesDir / "bin" / s"run-camkes.sh")} -c $camkesRepoDir -s
                 |```
                 |
                 |Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation

diff --git a/vm/test_event_data_port_periodic_domains_VM/receiver_vm/readme.md b/vm/test_event_data_port_periodic_domains_VM/receiver_vm/readme.md
@@ -141,11 +141,13 @@ repository.
 **Build and simulate the system**
 
 ```
-/home/camkes-tool-assessment-4/vm/test_event_data_port_periodic_domains_VM/receiver_vm/hamr/camkes-seL4/bin/run-camkes.sh -c /Users/belt/devel/git/case-tool-assessment-4/vm/test_event_data_port_periodic_domains_VM/receiver_vm/hamr/camkes-seL4 -s
+/home/camkes-tool-assessment-4/vm/test_event_data_port_periodic_domains_VM/receiver_vm/hamr/camkes-seL4/bin/run-camkes.sh -c /home/camkes-vm -s
 ```
 
 Type ``CTRL`` + ``a`` then `x` to exit the QEMU simulation
 
+<!--end____vm-micro-example_vm_vm-rerun_vm-rerun-buildsim-->
+
 **Note**: the above command will successfully build an image and then try to simulate it via
 
 ```
@@ -180,8 +182,6 @@ [email protected]:704 module name: cross_vm_connections
 Loading Kernel: 'linux'
 ```
 
-<!--end____vm-micro-example_vm_vm-rerun_vm-rerun-buildsim-->
-
 ### <!--start__vm-micro-example_vm_vm_camkesarch-title-->CAmkES Architecture<!--end____vm-micro-example_vm_vm_camkesarch-title-->
 <!--start__vm-micro-example_vm_vm_camkesarch-description-->
 <!--end____vm-micro-example_vm_vm_camkesarch-description-->