From c11109494b693e4c1aec6df84fc97530bdceb4fc Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Sat, 21 Oct 2023 13:14:37 +0000 Subject: [PATCH] crates/sel4-kernel-loader/asm: Add licensing information Signed-off-by: Nick Spinale --- .../asm/aarch64/exception_handler.S | 6 ++++++ crates/sel4-kernel-loader/asm/aarch64/head.S | 7 +++++++ crates/sel4-kernel-loader/asm/aarch64/macros.h | 6 ++++++ crates/sel4-kernel-loader/asm/aarch64/mm.S | 13 ++++++++++--- crates/sel4-kernel-loader/asm/aarch64/mm.h | 7 +++++++ crates/sel4-kernel-loader/asm/aarch64/registers.h | 7 +++++++ crates/sel4-kernel-loader/asm/aarch64/tail.S | 7 +++++++ crates/sel4-kernel-loader/asm/riscv/head.S | 2 +- 8 files changed, 51 insertions(+), 4 deletions(-) diff --git a/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S b/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S index 192b186d6..8e695bbc4 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S +++ b/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S @@ -1,3 +1,9 @@ +/* + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: BSD-2-Clause + */ + #include "macros.h" .extern exception_handler diff --git a/crates/sel4-kernel-loader/asm/aarch64/head.S b/crates/sel4-kernel-loader/asm/aarch64/head.S index df1aab1df..7cf18f6e5 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/head.S +++ b/crates/sel4-kernel-loader/asm/aarch64/head.S @@ -1,3 +1,10 @@ +/* + * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: GPL-2.0-only + */ + #include "macros.h" #include "registers.h" #include "mm.h" diff --git a/crates/sel4-kernel-loader/asm/aarch64/macros.h b/crates/sel4-kernel-loader/asm/aarch64/macros.h index e3a57cb4f..08cfd9bd5 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/macros.h +++ b/crates/sel4-kernel-loader/asm/aarch64/macros.h @@ -1,3 +1,9 @@ +/* + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: BSD-2-Clause + */ + #define BEGIN_LOCAL_FUNC(_name) \ .type _name, %function ; \ _name: diff --git a/crates/sel4-kernel-loader/asm/aarch64/mm.S b/crates/sel4-kernel-loader/asm/aarch64/mm.S index 66726ab8c..806deba77 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/mm.S +++ b/crates/sel4-kernel-loader/asm/aarch64/mm.S @@ -1,7 +1,14 @@ -#include "macros.h" +/* + * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: GPL-2.0-only + * + * See: + * https://developer.arm.com/documentation/den0024/a/Caches/Cache-maintenance + */ -// Derived from: -// https://developer.arm.com/documentation/den0024/a/Caches/Cache-maintenance +#include "macros.h" .macro dcache op dsb sy diff --git a/crates/sel4-kernel-loader/asm/aarch64/mm.h b/crates/sel4-kernel-loader/asm/aarch64/mm.h index 02fe595e5..5b797b06b 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/mm.h +++ b/crates/sel4-kernel-loader/asm/aarch64/mm.h @@ -1,3 +1,10 @@ +/* + * Copyright 2014, General Dynamics C4 Systems + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: GPL-2.0-only + */ + #include "registers.h" #ifdef CONFIG_ARM_PA_SIZE_BITS_40 diff --git a/crates/sel4-kernel-loader/asm/aarch64/registers.h b/crates/sel4-kernel-loader/asm/aarch64/registers.h index c24100b11..bd9c8af17 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/registers.h +++ b/crates/sel4-kernel-loader/asm/aarch64/registers.h @@ -1,3 +1,10 @@ +/* + * Copyright 2014, General Dynamics C4 Systems + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: GPL-2.0-only + */ + #define PSR_F_BIT 0x00000040 #define PSR_I_BIT 0x00000080 #define PSR_A_BIT 0x00000100 diff --git a/crates/sel4-kernel-loader/asm/aarch64/tail.S b/crates/sel4-kernel-loader/asm/aarch64/tail.S index e6102eb02..0328901ff 100644 --- a/crates/sel4-kernel-loader/asm/aarch64/tail.S +++ b/crates/sel4-kernel-loader/asm/aarch64/tail.S @@ -1,3 +1,10 @@ +/* + * Copyright 2014, General Dynamics C4 Systems + * Copyright 2023, Colias Group, LLC + * + * SPDX-License-Identifier: GPL-2.0-only + */ + #include "macros.h" #include "registers.h" #include "mm.h" diff --git a/crates/sel4-kernel-loader/asm/riscv/head.S b/crates/sel4-kernel-loader/asm/riscv/head.S index fa6f293c2..aa19944bd 100644 --- a/crates/sel4-kernel-loader/asm/riscv/head.S +++ b/crates/sel4-kernel-loader/asm/riscv/head.S @@ -1,6 +1,6 @@ /* * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) - * Copyright 2023, Nick Spinale + * Copyright 2023, Colias Group, LLC * * SPDX-License-Identifier: GPL-2.0-only */