fix wording for copyright

Signed-off-by: Birgit Brecknell <b@brck.nl>
seL4 · May 28, 2024 · da1c2a8 · da1c2a8
1 parent 203c810
commit da1c2a8
Show file tree

Hide file tree

Showing 19 changed files with 43 additions and 23 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
 <!--
-     2024 seL4 Project a Series of LF Projects, LLC..
+     Copyright 2024, seL4 Project a Series of LF Projects, LLC..
 
      SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md b/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/camkes-vm-linux/camkes-vm-linux.md b/tutorials/camkes-vm-linux/camkes-vm-linux.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->
@@ -15,6 +15,26 @@ You will become familiar with:
 * Creating, configuring and building guest Linux VM components in CAmkES.
 * Building and installing your own Linux VM user-level programs and kernel modules.
 
+## CapDL Loader
+
+This tutorial uses the *capDL loader*, a root task which allocates statically
+ configured objects and capabilities.
+
+<details markdown='1'>
+<summary style="display:list-item">Get CapDL</summary>
+The capDL loader parses
+a static description of the system and the relevant ELF binaries.
+It is primarily used in [Camkes](https://docs.sel4.systems/CAmkES/) projects
+but we also use it in the tutorials to reduce redundant code.
+The program that you construct will end up with its own CSpace and VSpace, which are separate
+from the root task, meaning CSlots like `seL4_CapInitThreadVSpace` have no meaning
+in applications loaded by the capDL loader.
+<br>
+More information about CapDL projects can be found [here](https://docs.sel4.systems/CapDL.html).
+<br>
+For this tutorial clone the [CapDL repo](https://github.com/sel4/capdl). This can be added in a directory that is adjacent to the tutorials-manifest directory.
+</details>
+
 ## Initialising
 
 /*? macros.tutorial_init("camkes-vm-linux") ?*/

diff --git a/tutorials/capabilities/capabilities.md b/tutorials/capabilities/capabilities.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/dynamic-1/dynamic-1.md b/tutorials/dynamic-1/dynamic-1.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/dynamic-2/dynamic-2.md b/tutorials/dynamic-2/dynamic-2.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->
@@ -891,7 +891,7 @@ That's it for this tutorial.
 ```
 /*-- filter File("main.c") -*/
 /*
- * 2024 seL4 Project a Series of LF Projects, LLC.
+ * Copyright 2024, seL4 Project a Series of LF Projects, LLC.
  *
  * SPDX-License-Identifier: CC-BY-SA-4.0
  */

diff --git a/tutorials/dynamic-3/dynamic-3.md b/tutorials/dynamic-3/dynamic-3.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->
@@ -542,7 +542,7 @@ That's it for this tutorial.
 ```
 /*-- filter File("main.c") -*/
 /*
- * 2024 seL4 Project a Series of LF Projects, LLC..
+ * Copyright 2024, seL4 Project a Series of LF Projects, LLC..
  *
  * SPDX-License-Identifier: CC-BY-SA-4.0
  */
@@ -722,7 +722,7 @@ int main(void) {
 /*-- endfilter -*/
 /*-- filter File("app.c") -*/
 /*
- * 2024 seL4 Project a Series of LF Projects, LLC..
+ * Copyright 2024, seL4 Project a Series of LF Projects, LLC..
  *
  * SPDX-License-Identifier: CC-BY-SA-4.0
  */

diff --git a/tutorials/dynamic-4/dynamic-4.md b/tutorials/dynamic-4/dynamic-4.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->
@@ -494,7 +494,7 @@ int main(void) {
 /*-- endfilter -*/
 /*-- filter File("client.c") -*/
 /*
- * 2024 seL4 Project a Series of LF Projects, LLC..
+ * Copyright 2024, seL4 Project a Series of LF Projects, LLC..
  *
  * SPDX-License-Identifier: CC-BY-SA-4.0
  */

diff --git a/tutorials/fault-handlers/fault-handlers.md b/tutorials/fault-handlers/fault-handlers.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/hello-camkes-0/hello-camkes-0.md b/tutorials/hello-camkes-0/hello-camkes-0.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/hello-camkes-1/hello-camkes-1.md b/tutorials/hello-camkes-1/hello-camkes-1.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/hello-camkes-2/hello-camkes-2.md b/tutorials/hello-camkes-2/hello-camkes-2.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/interrupts/interrupts.md b/tutorials/interrupts/interrupts.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/ipc/ipc.md b/tutorials/ipc/ipc.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/mapping/mapping.md b/tutorials/mapping/mapping.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/mcs/mcs.md b/tutorials/mcs/mcs.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/notifications/notifications.md b/tutorials/notifications/notifications.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/threads/threads.md b/tutorials/threads/threads.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->

diff --git a/tutorials/untyped/untyped.md b/tutorials/untyped/untyped.md
@@ -1,5 +1,5 @@
 <!--
-  2024 seL4 Project a Series of LF Projects, LLC.
+  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
 
   SPDX-License-Identifier: CC-BY-SA-4.0
 -->