Skip to content

Commit 9f904ed

Browse files
lsf37lsf37
committed
convert license headers to SPDX
Includes license review of 3rd-party files, adding missing upstream headers, and moving the UNSW OZPLB license into its own file rather than replicating it in the header.
1 parent 82db20b commit 9f904ed

File tree

180 files changed

+385
-1789
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

180 files changed

+385
-1789
lines changed

‎.cmake-format.yaml

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
8-
# See "LICENSE_GPLv2.txt" for details.
9-
#
10-
# @TAG(DATA61_GPL)
4+
# SPDX-License-Identifier: GPL-2.0-only
115
#
126
additional_commands:
137
config_option:

‎.gitignore

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
# Generated python bytecode

‎.stylefilter

+3-8
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,9 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
8-
# See "LICENSE_GPLv2.txt" for details.
9-
#
10-
# @TAG(DATA61_GPL)
4+
# SPDX-License-Identifier: GPL-2.0-only
115
#
6+
127
# astyle doesn't understand the layout of these files
138
*assembler.h
149
# original ozlabs code, leave it alone

‎README.md

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
<!--
2-
Copyright 2017, Data61
3-
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
ABN 41 687 119 230.
2+
Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
6-
This software may be distributed and modified according to the terms of
7-
the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
See "LICENSE_BSD2.txt" for details.
9-
10-
@TAG(DATA61_BSD)
4+
SPDX-License-Identifier: BSD-2-Clause
115
-->
126
# seL4\_tools
137
Provides tools used to build seL4 projects

‎cmake-tool/README.md

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
<!--
2-
Copyright 2017, Data61
3-
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
ABN 41 687 119 230.
2+
Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
6-
This software may be distributed and modified according to the terms of
7-
the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
See "LICENSE_BSD2.txt" for details.
9-
10-
@TAG(DATA61_BSD)
4+
SPDX-License-Identifier: BSD-2-Clause
115
-->
126

137
# CMake seL4 Build System

‎cmake-tool/all.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2017, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.7.2)

‎cmake-tool/base.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2017, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.7.2)

‎cmake-tool/common.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2017, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.8.2)

‎cmake-tool/default-CMakeLists.txt

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2017, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126
cmake_minimum_required(VERSION 3.7.2)
137
project(sel4-application NONE)

‎cmake-tool/griddle

+2-7
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,9 @@
11
#!/bin/bash
22
#
3-
# Copyright 2019, Data61
4-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
5-
# ABN 41 687 119 230.
3+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
64
#
7-
# This software may be distributed and modified according to the terms of
8-
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
9-
# See "LICENSE_GPLv2.txt" for details.
5+
# SPDX-License-Identifier: GPL-2.0-only
106
#
11-
# @TAG(DATA61_GPL)
127

138
# Note: This script uses bash for its execution, but not because it uses any
149
# Bashisms; instead, it is to work around a POSIX-violating bug in signal

‎cmake-tool/helpers/Holmakefile.in

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
CAKEML_DIR = @CAKEMLDIR@

‎cmake-tool/helpers/application_settings.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2018, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.8.2)

‎cmake-tool/helpers/buildScript.sml.in

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
(*
2-
* Copyright 2018, Data61
3-
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
* ABN 41 687 119 230.
2+
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
*
6-
* This software may be distributed and modified according to the terms of
7-
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
* See "LICENSE_BSD2.txt" for details.
9-
*
10-
* @TAG(DATA61_BSD)
4+
* SPDX-License-Identifier: BSD-2-Clause
115
*)
126

137
open preamble basis fromSexpTheory astToSexprLib @PARSE_CML_LIB_TRANSLATION_THEORY@Theory;

‎cmake-tool/helpers/cakeml.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2018, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.8.2)

‎cmake-tool/helpers/check_arch_compiler.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
function(check_arch_clang)

‎cmake-tool/helpers/cmakerepl

+3-7
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,9 @@
11
#!/usr/bin/env -S cmake -P
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
52
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
3+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4+
#
5+
# SPDX-License-Identifier: BSD-2-Clause
96
#
10-
# @TAG(DATA61_BSD)
117

128
message("CMake REPL: Execute cmake commands interactively. (Ctrl-D to exit)")
139

‎cmake-tool/helpers/configure_file.cmake

+3-7
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,8 @@
1-
# Copyright 2018, Data61
2-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
3-
# ABN 41 687 119 230.
41
#
5-
# This software may be distributed and modified according to the terms of
6-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
7-
# See "LICENSE_BSD2.txt" for details.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3+
#
4+
# SPDX-License-Identifier: BSD-2-Clause
85
#
9-
# @TAG(DATA61_BSD)
106

117
cmake_minimum_required(VERSION 3.8.2)
128

‎cmake-tool/helpers/cpio.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
# This module contains functions for creating a cpio archive containing a list

‎cmake-tool/helpers/cross_compiling.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2018, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126
cmake_minimum_required(VERSION 3.8.2)
137
include_guard(GLOBAL)

‎cmake-tool/helpers/debug.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
# This module declares a macro for debugging purposes.

‎cmake-tool/helpers/dts.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2018, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126
cmake_minimum_required(VERSION 3.8.2)
137
include_guard(GLOBAL)

‎cmake-tool/helpers/elf_sift.py

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,8 @@
11
#!/usr/bin/env python3
22
#
3-
# Copyright 2019, Data61
4-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
5-
# ABN 41 687 119 230.
3+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
64
#
7-
# This software may be distributed and modified according to the terms of
8-
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
9-
# See "LICENSE_GPLv2.txt" for details.
10-
#
11-
# @TAG(DATA61_GPL)
5+
# SPDX-License-Identifier: GPL-2.0-only
126
#
137
"""
148
Extract information of interest to the seL4 image build process from ELF files.

‎cmake-tool/helpers/environment_flags.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2019, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.7.2)

‎cmake-tool/helpers/external-project-helpers.cmake

+2-8
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,7 @@
11
#
2-
# Copyright 2018, Data61
3-
# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4-
# ABN 41 687 119 230.
2+
# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
53
#
6-
# This software may be distributed and modified according to the terms of
7-
# the BSD 2-Clause license. Note that NO WARRANTY is provided.
8-
# See "LICENSE_BSD2.txt" for details.
9-
#
10-
# @TAG(DATA61_BSD)
4+
# SPDX-License-Identifier: BSD-2-Clause
115
#
126

137
cmake_minimum_required(VERSION 3.8.2)

0 commit comments

Comments
 (0)