restore original copyright

Signed-off-by: Birgit Brecknell <[email protected]>
seL4 · Jul 31, 2024 · 3380115 · 3380115
1 parent 5afd603
commit 3380115
Show file tree

Hide file tree

Showing 21 changed files with 12 additions and 52 deletions.
diff --git a/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md b/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md b/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md
@@ -1,7 +1,7 @@
 <!--
   Copyright 2021 Michael Neises
 
-  SPDX-License-Identifier: CC-BY-SA-4.0
+  SPDX-License-Identifier: BSD-2-Clause
 -->
 # Cross-Compiling Kernel Modules for use with seL4's Linux VM using qemu-arm-virt
 

diff --git a/tutorials/camkes-vm-linux/camkes-vm-linux.md b/tutorials/camkes-vm-linux/camkes-vm-linux.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/capabilities/capabilities.md b/tutorials/capabilities/capabilities.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/dynamic-1/dynamic-1.md b/tutorials/dynamic-1/dynamic-1.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 
@@ -682,7 +680,7 @@ That's it for this tutorial.
 /*
  * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230).
  *
- * SPDX-License-Identifier: CC-BY-SA-4.0
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 
 /*

diff --git a/tutorials/dynamic-2/dynamic-2.md b/tutorials/dynamic-2/dynamic-2.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 
@@ -852,9 +850,9 @@ That's it for this tutorial.
 ```
 /*-- filter File("main.c") -*/
 /*
- * Copyright 2024, seL4 Project a Series of LF Projects, LLC.
+ * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: CC-BY-SA-4.0
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 
 /*

diff --git a/tutorials/dynamic-3/dynamic-3.md b/tutorials/dynamic-3/dynamic-3.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 
@@ -517,9 +515,9 @@ That's it for this tutorial.
 ```
 /*-- filter File("main.c") -*/
 /*
- * Copyright 2024, seL4 Project a Series of LF Projects, LLC..
+ * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: CC-BY-SA-4.0
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 #include <autoconf.h>
 
@@ -697,9 +695,9 @@ int main(void) {
 /*-- endfilter -*/
 /*-- filter File("app.c") -*/
 /*
- * Copyright 2024, seL4 Project a Series of LF Projects, LLC..
+ * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: CC-BY-SA-4.0
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 
 /*

diff --git a/tutorials/dynamic-4/dynamic-4.md b/tutorials/dynamic-4/dynamic-4.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 
@@ -289,7 +287,7 @@ That's it for this tutorial.
 /*
  * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230).
  *
- * SPDX-License-Identifier: CC-BY-SA-4.0
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 /* Include Kconfig variables. */
 #include <autoconf.h>
@@ -485,9 +483,9 @@ int main(void) {
 /*-- endfilter -*/
 /*-- filter File("client.c") -*/
 /*
- * Copyright 2024, seL4 Project a Series of LF Projects, LLC..
+ * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
  *
- * SPDX-License-Identifier: CC-BY-SA-4.0
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 #include <stdio.h>
 #include <assert.h>

diff --git a/tutorials/fault-handlers/fault-handlers.md b/tutorials/fault-handlers/fault-handlers.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/hello-camkes-0/hello-camkes-0.md b/tutorials/hello-camkes-0/hello-camkes-0.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/hello-camkes-1/hello-camkes-1.md b/tutorials/hello-camkes-1/hello-camkes-1.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/hello-camkes-2/hello-camkes-2.md b/tutorials/hello-camkes-2/hello-camkes-2.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/hello-camkes-timer/hello-camkes-timer.md b/tutorials/hello-camkes-timer/hello-camkes-timer.md
@@ -1,9 +1,7 @@
 <!--
   Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
-  SPDX-License-Identifier: CC-BY-SA-4.0
+  SPDX-License-Identifier: BSD-2-Clause
 -->
 
 /*? declare_task_ordering(['hello']) ?*/

diff --git a/tutorials/hello-world/hello-world.md b/tutorials/hello-world/hello-world.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/interrupts/interrupts.md b/tutorials/interrupts/interrupts.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/ipc/ipc.md b/tutorials/ipc/ipc.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/mapping/mapping.md b/tutorials/mapping/mapping.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/mcs/mcs.md b/tutorials/mcs/mcs.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/notifications/notifications.md b/tutorials/notifications/notifications.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/threads/threads.md b/tutorials/threads/threads.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->
 

diff --git a/tutorials/untyped/untyped.md b/tutorials/untyped/untyped.md
@@ -1,8 +1,6 @@
 <!--
   Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
 
-  Copyright 2024, seL4 Project a Series of LF Projects, LLC.
-
   SPDX-License-Identifier: BSD-2-Clause
 -->