diff --git a/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md b/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md index 8896041e..4c4da08b 100644 --- a/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md +++ b/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md @@ -1,8 +1,6 @@ diff --git a/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md b/tutorials/camkes-vm-kernel-module/camkes-vm-kernel-module.md index 44ea8eeb..91c9cab1 100644 --- 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 @@ # 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 index 4e11ebea..842e3edb 100644 --- a/tutorials/camkes-vm-linux/camkes-vm-linux.md +++ b/tutorials/camkes-vm-linux/camkes-vm-linux.md @@ -1,8 +1,6 @@ diff --git a/tutorials/capabilities/capabilities.md b/tutorials/capabilities/capabilities.md index 0fc9e440..40debbe8 100644 --- a/tutorials/capabilities/capabilities.md +++ b/tutorials/capabilities/capabilities.md @@ -1,8 +1,6 @@ diff --git a/tutorials/dynamic-1/dynamic-1.md b/tutorials/dynamic-1/dynamic-1.md index f067773f..4783f62a 100644 --- a/tutorials/dynamic-1/dynamic-1.md +++ b/tutorials/dynamic-1/dynamic-1.md @@ -1,8 +1,6 @@ @@ -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 index a9035670..f67493f9 100644 --- a/tutorials/dynamic-2/dynamic-2.md +++ b/tutorials/dynamic-2/dynamic-2.md @@ -1,8 +1,6 @@ @@ -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 index 964901fb..6d87e17d 100644 --- a/tutorials/dynamic-3/dynamic-3.md +++ b/tutorials/dynamic-3/dynamic-3.md @@ -1,8 +1,6 @@ @@ -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 @@ -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 index aee84178..864d9717 100644 --- a/tutorials/dynamic-4/dynamic-4.md +++ b/tutorials/dynamic-4/dynamic-4.md @@ -1,8 +1,6 @@ @@ -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 @@ -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 #include diff --git a/tutorials/fault-handlers/fault-handlers.md b/tutorials/fault-handlers/fault-handlers.md index dd1b6688..4535ab65 100644 --- a/tutorials/fault-handlers/fault-handlers.md +++ b/tutorials/fault-handlers/fault-handlers.md @@ -1,8 +1,6 @@ diff --git a/tutorials/hello-camkes-0/hello-camkes-0.md b/tutorials/hello-camkes-0/hello-camkes-0.md index 3d100d5c..5726a115 100644 --- a/tutorials/hello-camkes-0/hello-camkes-0.md +++ b/tutorials/hello-camkes-0/hello-camkes-0.md @@ -1,8 +1,6 @@ diff --git a/tutorials/hello-camkes-1/hello-camkes-1.md b/tutorials/hello-camkes-1/hello-camkes-1.md index 0c8925f3..7b508c55 100644 --- a/tutorials/hello-camkes-1/hello-camkes-1.md +++ b/tutorials/hello-camkes-1/hello-camkes-1.md @@ -1,8 +1,6 @@ diff --git a/tutorials/hello-camkes-2/hello-camkes-2.md b/tutorials/hello-camkes-2/hello-camkes-2.md index 7bd95e8f..797dde1f 100644 --- a/tutorials/hello-camkes-2/hello-camkes-2.md +++ b/tutorials/hello-camkes-2/hello-camkes-2.md @@ -1,8 +1,6 @@ diff --git a/tutorials/hello-camkes-timer/hello-camkes-timer.md b/tutorials/hello-camkes-timer/hello-camkes-timer.md index 226e7a95..95e87efc 100644 --- a/tutorials/hello-camkes-timer/hello-camkes-timer.md +++ b/tutorials/hello-camkes-timer/hello-camkes-timer.md @@ -1,9 +1,7 @@ /*? declare_task_ordering(['hello']) ?*/ diff --git a/tutorials/hello-world/hello-world.md b/tutorials/hello-world/hello-world.md index a6236990..7d30429c 100644 --- a/tutorials/hello-world/hello-world.md +++ b/tutorials/hello-world/hello-world.md @@ -1,8 +1,6 @@ diff --git a/tutorials/interrupts/interrupts.md b/tutorials/interrupts/interrupts.md index 288c5330..3b213fb4 100644 --- a/tutorials/interrupts/interrupts.md +++ b/tutorials/interrupts/interrupts.md @@ -1,8 +1,6 @@ diff --git a/tutorials/ipc/ipc.md b/tutorials/ipc/ipc.md index e22ae04a..8a047a4a 100644 --- a/tutorials/ipc/ipc.md +++ b/tutorials/ipc/ipc.md @@ -1,8 +1,6 @@ diff --git a/tutorials/mapping/mapping.md b/tutorials/mapping/mapping.md index 5ebbcd00..f1715e46 100644 --- a/tutorials/mapping/mapping.md +++ b/tutorials/mapping/mapping.md @@ -1,8 +1,6 @@ diff --git a/tutorials/mcs/mcs.md b/tutorials/mcs/mcs.md index 7d017a02..8a359969 100644 --- a/tutorials/mcs/mcs.md +++ b/tutorials/mcs/mcs.md @@ -1,8 +1,6 @@ diff --git a/tutorials/notifications/notifications.md b/tutorials/notifications/notifications.md index 9239869c..d0bad025 100644 --- a/tutorials/notifications/notifications.md +++ b/tutorials/notifications/notifications.md @@ -1,8 +1,6 @@ diff --git a/tutorials/threads/threads.md b/tutorials/threads/threads.md index 37db0e2c..415ab1c2 100644 --- a/tutorials/threads/threads.md +++ b/tutorials/threads/threads.md @@ -1,8 +1,6 @@ diff --git a/tutorials/untyped/untyped.md b/tutorials/untyped/untyped.md index 07bcd0e1..09b6be76 100644 --- a/tutorials/untyped/untyped.md +++ b/tutorials/untyped/untyped.md @@ -1,8 +1,6 @@