chore: add relevant licensing

Author: 0aids

components/backtracer/README.md

@@ -1,3 +1,7 @@
+<!--
+     Copyright 2024, UNSW
+     SPDX-License-Identifier: CC-BY-SA-4.0
+-->
 # Usage
 1. Include `backtracer.mk` file.
 2. For all targets to be backtraced:

components/backtracer/backtracer.c

@@ -1,3 +1,7 @@
+/*
+ * Copyright 2025, UNSW
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
 #include "monitor.h"
 #include <microkit.h>
 #include <sddf/util/printf.h>

components/backtracer/backtracer.mk

@@ -1,3 +1,8 @@
+#
+# Copyright 2026, UNSW
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
 TAR ?= tar
 
 BACKTRACER_DIR := $(LIONSOS)/components/backtracer

components/backtracer/unwind_helpers.c

@@ -1,3 +1,7 @@
+/*
+ * Copyright 2025, UNSW
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
 #include <microkit.h>
 #include <sddf/util/printf.h>
 #define UNW_LOCAL_ONLY

examples/backtrace_test/faulter.c

@@ -1,3 +1,7 @@
+/*
+ * Copyright 2025, UNSW
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
 #include <microkit.h>
 #include <sddf/util/printf.h>
 #include <stddef.h>