add tutorial descriptions back into md files

Signed-off-by: Birgit Brecknell <[email protected]>

Tutorials/camkes-vm-crossvm.md

@@ -2,6 +2,7 @@
 toc: true
 title: Camkes cross-VM connectors
 tutorial: camkes-vm-crossvm
+description: walkthrough of adding communication between Linux guests in separate VMs
 tutorial-order: vm-2
 layout: tutorial
 SPDX-License-Identifier: CC-BY-SA-4.0

Tutorials/camkes-vm-linux.md

@@ -4,6 +4,7 @@ title: Camkes VM Linux
 tutorial: camkes-vm-linux
 tutorial-order: vm-1
 layout: tutorial
+description: using Linux as a guest in the Camkes VM
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/capabilities.md

@@ -3,6 +3,7 @@ toc: true
 title: Capabilities
 tutorial: capabilities
 layout: tutorial
+description: an introduction to capabilities in the seL4 kernel API
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/fault-handlers.md

@@ -3,6 +3,7 @@ toc: true
 title: Faults
 tutorial: fault-handlers
 layout: tutorial
+description: fault (e.g virtual memory fault) handling and fault endpoints
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/get-the-tutorials.md

@@ -2,6 +2,7 @@
 toc: true
 title: Getting the tutorials
 layout: tutorial
+description: steps and code for getting tutorials
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2024 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/hello-camkes-0.md

@@ -3,6 +3,7 @@ toc: true
 title: Hello CAmkES
 tutorial: hello-camkes-0
 layout: tutorial
+description: an introduction to CAmkES concepts
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/hello-camkes-1.md

@@ -3,6 +3,7 @@ toc: true
 title: Introduction to CAmkES
 tutorial: hello-camkes-1
 layout: tutorial
+description: an introduction to CAmkES concepts
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/hello-camkes-2.md

@@ -3,6 +3,7 @@ toc: true
 title: Events in CAmkES
 tutorial: hello-camkes-2
 layout: tutorial
+description: an introduction to CAmkES concepts
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/hello-camkes-timer.md

@@ -3,6 +3,7 @@ toc: true
 title: CAmkES timer tutorial
 tutorial: hello-camkes-timer
 layout: tutorial
+description: introduce CAmkES hardware components
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/hello-world.md

@@ -3,6 +3,7 @@ toc: true
 title: Hello, World!
 tutorial: hello-world
 layout: tutorial
+description: an introduction to seL4 projects and tutorials
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/interrupts.md

@@ -3,6 +3,7 @@ toc: true
 title: Interrupts
 tutorial: interrupts
 layout: tutorial
+description: receiving and handling interrupts
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/ipc.md

@@ -3,6 +3,7 @@ toc: true
 title: IPC
 tutorial: ipc
 layout: tutorial
+description: overview of interprocess communication (IPC)
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/libraries-1.md

@@ -3,6 +3,7 @@ toc: true
 title: Libraries initialisation & threading
 tutorial: libraries-1
 layout: tutorial
+description: system initialisation & threading with seL4_libs.
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/libraries-2.md

@@ -3,6 +3,7 @@ toc: true
 title: Libraries IPC
 tutorial: libraries-2
 layout: tutorial
+description: IPC with seL4_libs
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/libraries-3.md

@@ -3,6 +3,7 @@ toc: true
 title: Libraries processes & ELF loading
 tutorial: libraries-3
 layout: tutorial
+description: process management with seL4_libs
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/libraries-4.md

@@ -3,6 +3,7 @@ toc: true
 title: Libraries timer tutorial
 tutorial: libraries-4
 layout: tutorial
+description: timers and timeouts with seL4_libs
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/mapping.md

@@ -3,6 +3,7 @@ toc: true
 title: Mapping
 tutorial: mapping
 layout: tutorial
+description: virtual memory in seL4
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/mcs.md

@@ -3,6 +3,7 @@ toc: true
 title: MCS
 tutorial: mcs
 layout: tutorial
+description: an introduction to the seL4 MCS extensions.
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/notifications.md

@@ -3,6 +3,7 @@ toc: true
 title: Notifications
 tutorial: notifications
 layout: tutorial
+description: using notification objects and signals
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/threads.md

@@ -3,6 +3,7 @@ toc: true
 title: Threads
 tutorial: threads
 layout: tutorial
+description: how to start a thread using the seL4 API
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---

Tutorials/untyped.md

@@ -3,6 +3,7 @@ toc: true
 title: Untyped
 tutorial: untyped
 layout: tutorial
+description: user-level memory management
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---