chore: clean up c files and licensing

Signed-off-by: 0aids <aidanlldanu@gmail.com>

Author: 0aids

components/backtracer/backtracer.c

@@ -33,7 +33,6 @@ seL4_Bool fault(microkit_child child, microkit_msginfo msginfo, microkit_msginfo
     LOG("Child '%d' Faulted!\n", child);
     print_fault_error(child, msginfo);
     seL4_UserContext ctxt = { 0 };
-  // BASE_TCB_CAP is from microkit.h. Not sure if completely portable?
     int readRegResult = seL4_TCB_ReadRegisters(BASE_TCB_CAP + child, seL4_True, 0,
                                                sizeof(seL4_UserContext) / sizeof(seL4_Word), &ctxt);
     if (readRegResult != 0) {
@@ -47,7 +46,7 @@ seL4_Bool fault(microkit_child child, microkit_msginfo msginfo, microkit_msginfo
     int writeRegResult = seL4_TCB_WriteRegisters(BASE_TCB_CAP + child, seL4_True, 0,
                                                  sizeof(seL4_UserContext) / sizeof(seL4_Word), &ctxt);
     if (writeRegResult != 0) {
-        LOG("Failed to write registers for setting up backtrace jump! Got %d, "
+        LOG("Failed to write registers for setting up backtrace jump! Got error value %d, "
             "expected %d\n",
             writeRegResult, 0);
         return seL4_False;

components/backtracer/unwind.ld

@@ -1,17 +1,9 @@
 /*
- * Copyright 2019, Data61
- * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
- * ABN 41 687 119 230.
- *
- * This software may be distributed and modified according to the terms of
- * the GNU General Public License version 2. Note that NO WARRANTY is provided.
- * See "LICENSE_GPLv2.txt" for details.
- *
- * @TAG(DATA61_GPL)
+ * Copyright 2026, UNSW
+ * SPDX-License-Identifier: BSD-2-Clause
  */
 SECTIONS
 {
-	/* stolen from config.h in libunwind llvm */
     .eh_frame :
     {
         __eh_frame_start = .;
@@ -20,9 +12,9 @@ SECTIONS
     }
     .eh_frame_hdr :
     {
+        __eh_frame_hdr_start = .;
         KEEP(*(.eh_frame_hdr))
+        __eh_frame_hdr_end = .;
     }
-    __eh_frame_hdr_start = SIZEOF(.eh_frame_hdr) > 0 ? ADDR(.eh_frame_hdr) : 0;
-    __eh_frame_hdr_end = SIZEOF(.eh_frame_hdr) > 0 ? . : 0;
 }
 INSERT AFTER .text;