diff --git a/Tutorials/camkes-vm-crossvm.md b/Tutorials/camkes-vm-crossvm.md index 2b03b8962c..729f3579c4 100644 --- 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 index 35b8f5abf3..692f565545 100644 --- 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 index 6eee75c2fa..37d2a54a92 100644 --- 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 index 43380fd551..110cdf631f 100644 --- 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 index 2c65983dc2..852127779f 100644 --- 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 index 40ff94e043..f16348251b 100644 --- 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 index 12be983091..21464a7344 100644 --- 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 index 858212203b..0ca7e76a4d 100644 --- 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 index fcc5f21289..7fe099cb2e 100644 --- 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 index 2abd01f32f..ee35aa28c4 100644 --- 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,7 +138,7 @@ 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" @@ -146,7 +146,7 @@ components: 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" @@ -154,7 +154,7 @@ components: 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"