update camkes and library headers

Signed-off-by: Birgit Brecknell <[email protected]>
seL4 · Aug 26, 2024 · bcbc394 · bcbc394
1 parent 7620007
commit bcbc394
Show file tree

Hide file tree

Showing 10 changed files with 14 additions and 14 deletions.
diff --git a/Tutorials/camkes-vm-crossvm.md b/Tutorials/camkes-vm-crossvm.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Camkes Cross-VM communication
+title: Camkes cross-VM connectors
 tutorial: camkes-vm-crossvm
 tutorial-order: vm-2
 layout: tutorial

diff --git a/Tutorials/hello-camkes-0.md b/Tutorials/hello-camkes-0.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Camkes
+title: Hello CAmkES
 tutorial: hello-camkes-0
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/hello-camkes-1.md b/Tutorials/hello-camkes-1.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Camkes 1
+title: Introduction to CAmkES
 tutorial: hello-camkes-1
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/hello-camkes-2.md b/Tutorials/hello-camkes-2.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Camkes 2
+title: Events in CAmkES
 tutorial: hello-camkes-2
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/hello-camkes-timer.md b/Tutorials/hello-camkes-timer.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Camkes 3
+title: CAmkES timer tutorial
 tutorial: hello-camkes-timer
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/libraries-1.md b/Tutorials/libraries-1.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Libraries 1
+title: Libraries initialisation & threading
 tutorial: libraries-1
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/libraries-2.md b/Tutorials/libraries-2.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Libraries 2
+title: Libraries IPC
 tutorial: libraries-2
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/libraries-3.md b/Tutorials/libraries-3.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Libraries 3
+title: Libraries processes & ELF loading
 tutorial: libraries-3
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/Tutorials/libraries-4.md b/Tutorials/libraries-4.md
@@ -1,6 +1,6 @@
 ---
 toc: true
-title: Libraries 4
+title: Libraries timer tutorial
 tutorial: libraries-4
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

diff --git a/_data/projects/sel4-tutorials.yml b/_data/projects/sel4-tutorials.yml
@@ -90,7 +90,7 @@ components:
     section: sel4
 
   - name: mcs
-    display_name: "MCS Extensions"
+    display_name: "MCS extensions"
     description: "MCS extension tutorial"
     maintainer: "seL4 Foundation"
     status: "active"
@@ -138,23 +138,23 @@ components:
     section: camkes
 
   - name: hello-camkes-1
-    display_name: "CAmkES 1: Introduction to CAmkES"
+    display_name: "Introduction to CAmkES"
     description: "CAmkES ADL and RPC interface tutorial"
     maintainer: "seL4 Foundation"
     status: "active"
     component_type: sel4-tutorials-application
     section: camkes
 
   - name: hello-camkes-2
-    display_name: "CAmkES 2: Events"
+    display_name: "Events in CAmkES"
     description: "CAmkES event and dataport tutorial"
     maintainer: "seL4 Foundation"
     status: "active"
     component_type: sel4-tutorials-application
     section: camkes
 
   - name: hello-camkes-timer
-    display_name: "CAmkES 3: Timer"
+    display_name: "CAmkES timer tutorial"
     description: "CAmkES tutorial for accessing hardware"
     maintainer: "seL4 Foundation"
     status: "active"
@@ -170,7 +170,7 @@ components:
     section: camkes
 
   - name: camkes-vm-crossvm
-    display_name: "CAmkES Cross-VM Connectors"
+    display_name: "CAmkES cross-VM connectors"
     description: "Tutorial for using cross virtual machine connectors"
     maintainer: "seL4 Foundation"
     status: "active"