convert to SPDX license headers Signed-off-by: Gerwin Klein <kleing@unsw.edu.au>
diff --git a/.gitignore b/.gitignore index bbf313b..8a6469a 100644 --- a/.gitignore +++ b/.gitignore
@@ -1,3 +1,9 @@ +# +# Copyright 2016, Data61, CSIRO (ABN 41 687 119 230) +# +# SPDX-License-Identifier: BSD-2-Clause +# + # Object files *.o *.ko
diff --git a/.licenseignore b/.licenseignore deleted file mode 100644 index f678ea7..0000000 --- a/.licenseignore +++ /dev/null
@@ -1,6 +0,0 @@ -*LICENSE_BSD2.txt -*LICENSE_GPLv2.txt -LICENSE.txt -.licenseignore -.gitignore -.git/*
diff --git a/CMakeLists.txt b/CMakeLists.txt index 9a27dac..c7ef081 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/FindseL4_libs.cmake b/FindseL4_libs.cmake index adf44d9..d555a6d 100644 --- a/FindseL4_libs.cmake +++ b/FindseL4_libs.cmake
@@ -1,13 +1,7 @@ # -# Copyright 2019, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # set(SEL4_LIBS_DIR "${CMAKE_CURRENT_LIST_DIR}" CACHE STRING "")
diff --git a/LICENSES/BSD-2-Clause.txt b/LICENSES/BSD-2-Clause.txt new file mode 100644 index 0000000..baa80b5 --- /dev/null +++ b/LICENSES/BSD-2-Clause.txt
@@ -0,0 +1,22 @@ +Copyright (c) <year> <owner> All rights reserved. + +Redistribution and use in source and binary forms, with or without modification, +are permitted provided that the following conditions are met: + +1. Redistributions of source code must retain the above copyright notice, +this list of conditions and the following disclaimer. + +2. Redistributions in binary form must reproduce the above copyright notice, +this list of conditions and the following disclaimer in the documentation +and/or other materials provided with the distribution. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE +LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL +DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR +SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, +OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE +USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/LICENSES/CC-BY-SA-4.0.txt b/LICENSES/CC-BY-SA-4.0.txt new file mode 100644 index 0000000..4dfebb8 --- /dev/null +++ b/LICENSES/CC-BY-SA-4.0.txt
@@ -0,0 +1,349 @@ +Creative Commons Attribution-ShareAlike 4.0 International + +Creative Commons Corporation (“Creative Commons”) is not a law firm and does +not provide legal services or legal advice. Distribution of Creative Commons +public licenses does not create a lawyer-client or other relationship. Creative +Commons makes its licenses and related information available on an “as-is” +basis. Creative Commons gives no warranties regarding its licenses, any material +licensed under their terms and conditions, or any related information. Creative +Commons disclaims all liability for damages resulting from their use to the +fullest extent possible. + +Using Creative Commons Public Licenses + +Creative Commons public licenses provide a standard set of terms and conditions +that creators and other rights holders may use to share original works of +authorship and other material subject to copyright and certain other rights +specified in the public license below. The following considerations are for +informational purposes only, are not exhaustive, and do not form part of our +licenses. + +Considerations for licensors: Our public licenses are intended for use by +those authorized to give the public permission to use material in ways otherwise +restricted by copyright and certain other rights. Our licenses are irrevocable. +Licensors should read and understand the terms and conditions of the license +they choose before applying it. Licensors should also secure all rights necessary +before applying our licenses so that the public can reuse the material as +expected. Licensors should clearly mark any material not subject to the license. +This includes other CC-licensed material, or material used under an exception +or limitation to copyright. More considerations for licensors. + +Considerations for the public: By using one of our public licenses, a licensor +grants the public permission to use the licensed material under specified +terms and conditions. If the licensor’s permission is not necessary for any +reason–for example, because of any applicable exception or limitation to copyright–then +that use is not regulated by the license. Our licenses grant only permissions +under copyright and certain other rights that a licensor has authority to +grant. Use of the licensed material may still be restricted for other reasons, +including because others have copyright or other rights in the material. A +licensor may make special requests, such as asking that all changes be marked +or described. + +Although not required by our licenses, you are encouraged to respect those +requests where reasonable. More considerations for the public. + +Creative Commons Attribution-ShareAlike 4.0 International Public License + +By exercising the Licensed Rights (defined below), You accept and agree to +be bound by the terms and conditions of this Creative Commons Attribution-ShareAlike +4.0 International Public License ("Public License"). To the extent this Public +License may be interpreted as a contract, You are granted the Licensed Rights +in consideration of Your acceptance of these terms and conditions, and the +Licensor grants You such rights in consideration of benefits the Licensor +receives from making the Licensed Material available under these terms and +conditions. + +Section 1 – Definitions. + +a. Adapted Material means material subject to Copyright and Similar Rights +that is derived from or based upon the Licensed Material and in which the +Licensed Material is translated, altered, arranged, transformed, or otherwise +modified in a manner requiring permission under the Copyright and Similar +Rights held by the Licensor. For purposes of this Public License, where the +Licensed Material is a musical work, performance, or sound recording, Adapted +Material is always produced where the Licensed Material is synched in timed +relation with a moving image. + +b. Adapter's License means the license You apply to Your Copyright and Similar +Rights in Your contributions to Adapted Material in accordance with the terms +and conditions of this Public License. + +c. BY-SA Compatible License means a license listed at creativecommons.org/compatiblelicenses, +approved by Creative Commons as essentially the equivalent of this Public +License. + +d. Copyright and Similar Rights means copyright and/or similar rights closely +related to copyright including, without limitation, performance, broadcast, +sound recording, and Sui Generis Database Rights, without regard to how the +rights are labeled or categorized. For purposes of this Public License, the +rights specified in Section 2(b)(1)-(2) are not Copyright and Similar Rights. + +e. Effective Technological Measures means those measures that, in the absence +of proper authority, may not be circumvented under laws fulfilling obligations +under Article 11 of the WIPO Copyright Treaty adopted on December 20, 1996, +and/or similar international agreements. + +f. Exceptions and Limitations means fair use, fair dealing, and/or any other +exception or limitation to Copyright and Similar Rights that applies to Your +use of the Licensed Material. + +g. License Elements means the license attributes listed in the name of a Creative +Commons Public License. The License Elements of this Public License are Attribution +and ShareAlike. + +h. Licensed Material means the artistic or literary work, database, or other +material to which the Licensor applied this Public License. + +i. Licensed Rights means the rights granted to You subject to the terms and +conditions of this Public License, which are limited to all Copyright and +Similar Rights that apply to Your use of the Licensed Material and that the +Licensor has authority to license. + +j. Licensor means the individual(s) or entity(ies) granting rights under this +Public License. + +k. Share means to provide material to the public by any means or process that +requires permission under the Licensed Rights, such as reproduction, public +display, public performance, distribution, dissemination, communication, or +importation, and to make material available to the public including in ways +that members of the public may access the material from a place and at a time +individually chosen by them. + +l. Sui Generis Database Rights means rights other than copyright resulting +from Directive 96/9/EC of the European Parliament and of the Council of 11 +March 1996 on the legal protection of databases, as amended and/or succeeded, +as well as other essentially equivalent rights anywhere in the world. + +m. You means the individual or entity exercising the Licensed Rights under +this Public License. Your has a corresponding meaning. + +Section 2 – Scope. + + a. License grant. + +1. Subject to the terms and conditions of this Public License, the Licensor +hereby grants You a worldwide, royalty-free, non-sublicensable, non-exclusive, +irrevocable license to exercise the Licensed Rights in the Licensed Material +to: + +A. reproduce and Share the Licensed Material, in whole or in part; and + + B. produce, reproduce, and Share Adapted Material. + +2. Exceptions and Limitations. For the avoidance of doubt, where Exceptions +and Limitations apply to Your use, this Public License does not apply, and +You do not need to comply with its terms and conditions. + +3. Term. The term of this Public License is specified in Section 6(a). + +4. Media and formats; technical modifications allowed. The Licensor authorizes +You to exercise the Licensed Rights in all media and formats whether now known +or hereafter created, and to make technical modifications necessary to do +so. The Licensor waives and/or agrees not to assert any right or authority +to forbid You from making technical modifications necessary to exercise the +Licensed Rights, including technical modifications necessary to circumvent +Effective Technological Measures. For purposes of this Public License, simply +making modifications authorized by this Section 2(a)(4) never produces Adapted +Material. + + 5. Downstream recipients. + +A. Offer from the Licensor – Licensed Material. Every recipient of the Licensed +Material automatically receives an offer from the Licensor to exercise the +Licensed Rights under the terms and conditions of this Public License. + +B. Additional offer from the Licensor – Adapted Material. Every recipient +of Adapted Material from You automatically receives an offer from the Licensor +to exercise the Licensed Rights in the Adapted Material under the conditions +of the Adapter’s License You apply. + +C. No downstream restrictions. You may not offer or impose any additional +or different terms or conditions on, or apply any Effective Technological +Measures to, the Licensed Material if doing so restricts exercise of the Licensed +Rights by any recipient of the Licensed Material. + +6. No endorsement. Nothing in this Public License constitutes or may be construed +as permission to assert or imply that You are, or that Your use of the Licensed +Material is, connected with, or sponsored, endorsed, or granted official status +by, the Licensor or others designated to receive attribution as provided in +Section 3(a)(1)(A)(i). + + b. Other rights. + +1. Moral rights, such as the right of integrity, are not licensed under this +Public License, nor are publicity, privacy, and/or other similar personality +rights; however, to the extent possible, the Licensor waives and/or agrees +not to assert any such rights held by the Licensor to the limited extent necessary +to allow You to exercise the Licensed Rights, but not otherwise. + +2. Patent and trademark rights are not licensed under this Public License. + +3. To the extent possible, the Licensor waives any right to collect royalties +from You for the exercise of the Licensed Rights, whether directly or through +a collecting society under any voluntary or waivable statutory or compulsory +licensing scheme. In all other cases the Licensor expressly reserves any right +to collect such royalties. + +Section 3 – License Conditions. + +Your exercise of the Licensed Rights is expressly made subject to the following +conditions. + + a. Attribution. + +1. If You Share the Licensed Material (including in modified form), You must: + +A. retain the following if it is supplied by the Licensor with the Licensed +Material: + +i. identification of the creator(s) of the Licensed Material and any others +designated to receive attribution, in any reasonable manner requested by the +Licensor (including by pseudonym if designated); + + ii. a copyright notice; + + iii. a notice that refers to this Public License; + + iv. a notice that refers to the disclaimer of warranties; + +v. a URI or hyperlink to the Licensed Material to the extent reasonably practicable; + +B. indicate if You modified the Licensed Material and retain an indication +of any previous modifications; and + +C. indicate the Licensed Material is licensed under this Public License, and +include the text of, or the URI or hyperlink to, this Public License. + +2. You may satisfy the conditions in Section 3(a)(1) in any reasonable manner +based on the medium, means, and context in which You Share the Licensed Material. +For example, it may be reasonable to satisfy the conditions by providing a +URI or hyperlink to a resource that includes the required information. + +3. If requested by the Licensor, You must remove any of the information required +by Section 3(a)(1)(A) to the extent reasonably practicable. + +b. ShareAlike.In addition to the conditions in Section 3(a), if You Share +Adapted Material You produce, the following conditions also apply. + +1. The Adapter’s License You apply must be a Creative Commons license with +the same License Elements, this version or later, or a BY-SA Compatible License. + +2. You must include the text of, or the URI or hyperlink to, the Adapter's +License You apply. You may satisfy this condition in any reasonable manner +based on the medium, means, and context in which You Share Adapted Material. + +3. You may not offer or impose any additional or different terms or conditions +on, or apply any Effective Technological Measures to, Adapted Material that +restrict exercise of the rights granted under the Adapter's License You apply. + +Section 4 – Sui Generis Database Rights. + +Where the Licensed Rights include Sui Generis Database Rights that apply to +Your use of the Licensed Material: + +a. for the avoidance of doubt, Section 2(a)(1) grants You the right to extract, +reuse, reproduce, and Share all or a substantial portion of the contents of +the database; + +b. if You include all or a substantial portion of the database contents in +a database in which You have Sui Generis Database Rights, then the database +in which You have Sui Generis Database Rights (but not its individual contents) +is Adapted Material, including for purposes of Section 3(b); and + +c. You must comply with the conditions in Section 3(a) if You Share all or +a substantial portion of the contents of the database. +For the avoidance of doubt, this Section 4 supplements and does not replace +Your obligations under this Public License where the Licensed Rights include +other Copyright and Similar Rights. + +Section 5 – Disclaimer of Warranties and Limitation of Liability. + +a. Unless otherwise separately undertaken by the Licensor, to the extent possible, +the Licensor offers the Licensed Material as-is and as-available, and makes +no representations or warranties of any kind concerning the Licensed Material, +whether express, implied, statutory, or other. This includes, without limitation, +warranties of title, merchantability, fitness for a particular purpose, non-infringement, +absence of latent or other defects, accuracy, or the presence or absence of +errors, whether or not known or discoverable. Where disclaimers of warranties +are not allowed in full or in part, this disclaimer may not apply to You. + +b. To the extent possible, in no event will the Licensor be liable to You +on any legal theory (including, without limitation, negligence) or otherwise +for any direct, special, indirect, incidental, consequential, punitive, exemplary, +or other losses, costs, expenses, or damages arising out of this Public License +or use of the Licensed Material, even if the Licensor has been advised of +the possibility of such losses, costs, expenses, or damages. Where a limitation +of liability is not allowed in full or in part, this limitation may not apply +to You. + +c. The disclaimer of warranties and limitation of liability provided above +shall be interpreted in a manner that, to the extent possible, most closely +approximates an absolute disclaimer and waiver of all liability. + +Section 6 – Term and Termination. + +a. This Public License applies for the term of the Copyright and Similar Rights +licensed here. However, if You fail to comply with this Public License, then +Your rights under this Public License terminate automatically. + +b. Where Your right to use the Licensed Material has terminated under Section +6(a), it reinstates: + +1. automatically as of the date the violation is cured, provided it is cured +within 30 days of Your discovery of the violation; or + + 2. upon express reinstatement by the Licensor. + +c. For the avoidance of doubt, this Section 6(b) does not affect any right +the Licensor may have to seek remedies for Your violations of this Public +License. + +d. For the avoidance of doubt, the Licensor may also offer the Licensed Material +under separate terms or conditions or stop distributing the Licensed Material +at any time; however, doing so will not terminate this Public License. + + e. Sections 1, 5, 6, 7, and 8 survive termination of this Public License. + +Section 7 – Other Terms and Conditions. + +a. The Licensor shall not be bound by any additional or different terms or +conditions communicated by You unless expressly agreed. + +b. Any arrangements, understandings, or agreements regarding the Licensed +Material not stated herein are separate from and independent of the terms +and conditions of this Public License. + +Section 8 – Interpretation. + +a. For the avoidance of doubt, this Public License does not, and shall not +be interpreted to, reduce, limit, restrict, or impose conditions on any use +of the Licensed Material that could lawfully be made without permission under +this Public License. + +b. To the extent possible, if any provision of this Public License is deemed +unenforceable, it shall be automatically reformed to the minimum extent necessary +to make it enforceable. If the provision cannot be reformed, it shall be severed +from this Public License without affecting the enforceability of the remaining +terms and conditions. + +c. No term or condition of this Public License will be waived and no failure +to comply consented to unless expressly agreed to by the Licensor. + +d. Nothing in this Public License constitutes or may be interpreted as a limitation +upon, or waiver of, any privileges and immunities that apply to the Licensor +or You, including from the legal processes of any jurisdiction or authority. + +Creative Commons is not a party to its public licenses. Notwithstanding, Creative +Commons may elect to apply one of its public licenses to material it publishes +and in those instances will be considered the “Licensor.” Except for the limited +purpose of indicating that material is shared under a Creative Commons public +license or as otherwise permitted by the Creative Commons policies published +at creativecommons.org/policies, Creative Commons does not authorize the use +of the trademark “Creative Commons” or any other trademark or logo of Creative +Commons without its prior written consent including, without limitation, in +connection with any unauthorized modifications to any of its public licenses +or any other arrangements, understandings, or agreements concerning use of +licensed material. For the avoidance of doubt, this paragraph does not form +part of the public licenses. + +Creative Commons may be contacted at creativecommons.org.
diff --git a/README.md b/README.md index 6a3459d..446c46d 100644 --- a/README.md +++ b/README.md
@@ -1,13 +1,7 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: CC-BY-SA-4.0 --> seL4 Libraries @@ -28,9 +22,3 @@ * libsel4utils: a library OS - Commonly used stuff, actively maintained: implements threads, processes, elf loading, virtual memory management etc. * libsel4vka: an allocation interface for seL4. * libsel4vspace: a virtual memory management interface for seL4. - -License -======== - -The files in this repository are release under standard open source licenses. -Please see individual file headers and the `LICENSE_BSD2`.txt file for details.
diff --git a/libsel4allocman/CMakeLists.txt b/libsel4allocman/CMakeLists.txt index face790..9ebbce7 100644 --- a/libsel4allocman/CMakeLists.txt +++ b/libsel4allocman/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4allocman/LICENSE_BSD2.txt b/libsel4allocman/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4allocman/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4allocman/README.md b/libsel4allocman/README.md index 707547e..0589a62 100644 --- a/libsel4allocman/README.md +++ b/libsel4allocman/README.md
@@ -1,13 +1,7 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: CC-BY-SA-4.0 --> libsel4allocman
diff --git a/libsel4allocman/arch/arm/allocman/arch/reservation.h b/libsel4allocman/arch/arm/allocman/arch/reservation.h index 628d0f3..8690f84 100644 --- a/libsel4allocman/arch/arm/allocman/arch/reservation.h +++ b/libsel4allocman/arch/arm/allocman/arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/arch/riscv/allocman/arch/reservation.h b/libsel4allocman/arch/riscv/allocman/arch/reservation.h index 78eeb7f..7e24173 100644 --- a/libsel4allocman/arch/riscv/allocman/arch/reservation.h +++ b/libsel4allocman/arch/riscv/allocman/arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/arch/x86/allocman/arch/reservation.h b/libsel4allocman/arch/x86/allocman/arch/reservation.h index 628d0f3..8690f84 100644 --- a/libsel4allocman/arch/x86/allocman/arch/reservation.h +++ b/libsel4allocman/arch/x86/allocman/arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/example_bootstrap.c b/libsel4allocman/example_bootstrap.c index 0d9c782..8c8ecd5 100644 --- a/libsel4allocman/example_bootstrap.c +++ b/libsel4allocman/example_bootstrap.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4allocman/include/allocman/allocman.h b/libsel4allocman/include/allocman/allocman.h index 09ffa34..b26ff85 100644 --- a/libsel4allocman/include/allocman/allocman.h +++ b/libsel4allocman/include/allocman/allocman.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /**
diff --git a/libsel4allocman/include/allocman/bootstrap.h b/libsel4allocman/include/allocman/bootstrap.h index cade990..4013d2b 100644 --- a/libsel4allocman/include/allocman/bootstrap.h +++ b/libsel4allocman/include/allocman/bootstrap.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /**
diff --git a/libsel4allocman/include/allocman/cspace/cspace.h b/libsel4allocman/include/allocman/cspace/cspace.h index 34147dc..cd0547e 100644 --- a/libsel4allocman/include/allocman/cspace/cspace.h +++ b/libsel4allocman/include/allocman/cspace/cspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/cspace/simple1level.h b/libsel4allocman/include/allocman/cspace/simple1level.h index 2a277a7..97a6d56 100644 --- a/libsel4allocman/include/allocman/cspace/simple1level.h +++ b/libsel4allocman/include/allocman/cspace/simple1level.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/cspace/single_level.h b/libsel4allocman/include/allocman/cspace/single_level.h index dc6e401..dd313d1 100644 --- a/libsel4allocman/include/allocman/cspace/single_level.h +++ b/libsel4allocman/include/allocman/cspace/single_level.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/cspace/two_level.h b/libsel4allocman/include/allocman/cspace/two_level.h index 0020c96..35ee02b 100644 --- a/libsel4allocman/include/allocman/cspace/two_level.h +++ b/libsel4allocman/include/allocman/cspace/two_level.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/cspace/vka.h b/libsel4allocman/include/allocman/cspace/vka.h index 7f2eb8a..208a8d6 100644 --- a/libsel4allocman/include/allocman/cspace/vka.h +++ b/libsel4allocman/include/allocman/cspace/vka.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/cspaceops.h b/libsel4allocman/include/allocman/cspaceops.h index 40dc4e6..e357cc1 100644 --- a/libsel4allocman/include/allocman/cspaceops.h +++ b/libsel4allocman/include/allocman/cspaceops.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/dual_pool.h b/libsel4allocman/include/allocman/mspace/dual_pool.h index 914cd20..c934645 100644 --- a/libsel4allocman/include/allocman/mspace/dual_pool.h +++ b/libsel4allocman/include/allocman/mspace/dual_pool.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/fixed_pool.h b/libsel4allocman/include/allocman/mspace/fixed_pool.h index b8b2f95..e327523 100644 --- a/libsel4allocman/include/allocman/mspace/fixed_pool.h +++ b/libsel4allocman/include/allocman/mspace/fixed_pool.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/k_r_malloc.h b/libsel4allocman/include/allocman/mspace/k_r_malloc.h index 56a73dc..66afe4c 100644 --- a/libsel4allocman/include/allocman/mspace/k_r_malloc.h +++ b/libsel4allocman/include/allocman/mspace/k_r_malloc.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/malloc.h b/libsel4allocman/include/allocman/mspace/malloc.h index bcc3618..603ead6 100644 --- a/libsel4allocman/include/allocman/mspace/malloc.h +++ b/libsel4allocman/include/allocman/mspace/malloc.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/mspace.h b/libsel4allocman/include/allocman/mspace/mspace.h index 1322551..f6297f5 100644 --- a/libsel4allocman/include/allocman/mspace/mspace.h +++ b/libsel4allocman/include/allocman/mspace/mspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/null.h b/libsel4allocman/include/allocman/mspace/null.h index 1d2955d..91e0c8d 100644 --- a/libsel4allocman/include/allocman/mspace/null.h +++ b/libsel4allocman/include/allocman/mspace/null.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/virtual_pool.h b/libsel4allocman/include/allocman/mspace/virtual_pool.h index 190321a..204e3be 100644 --- a/libsel4allocman/include/allocman/mspace/virtual_pool.h +++ b/libsel4allocman/include/allocman/mspace/virtual_pool.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/mspace/vspace_pool.h b/libsel4allocman/include/allocman/mspace/vspace_pool.h index e99ec85..e0ed37f 100644 --- a/libsel4allocman/include/allocman/mspace/vspace_pool.h +++ b/libsel4allocman/include/allocman/mspace/vspace_pool.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/properties.h b/libsel4allocman/include/allocman/properties.h index 839541c..ed40d26 100644 --- a/libsel4allocman/include/allocman/properties.h +++ b/libsel4allocman/include/allocman/properties.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/util.h b/libsel4allocman/include/allocman/util.h index ca744c1..403a057 100644 --- a/libsel4allocman/include/allocman/util.h +++ b/libsel4allocman/include/allocman/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/utspace/split.h b/libsel4allocman/include/allocman/utspace/split.h index adebf3d..a8453a3 100644 --- a/libsel4allocman/include/allocman/utspace/split.h +++ b/libsel4allocman/include/allocman/utspace/split.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/utspace/twinkle.h b/libsel4allocman/include/allocman/utspace/twinkle.h index d761033..6f42e34 100644 --- a/libsel4allocman/include/allocman/utspace/twinkle.h +++ b/libsel4allocman/include/allocman/utspace/twinkle.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/utspace/utspace.h b/libsel4allocman/include/allocman/utspace/utspace.h index 12261a5..8267944 100644 --- a/libsel4allocman/include/allocman/utspace/utspace.h +++ b/libsel4allocman/include/allocman/utspace/utspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/utspace/vka.h b/libsel4allocman/include/allocman/utspace/vka.h index 72624af..b5b4dff 100644 --- a/libsel4allocman/include/allocman/utspace/vka.h +++ b/libsel4allocman/include/allocman/utspace/vka.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/include/allocman/vka.h b/libsel4allocman/include/allocman/vka.h index cd891e4..c939967 100644 --- a/libsel4allocman/include/allocman/vka.h +++ b/libsel4allocman/include/allocman/vka.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h b/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h index 78eeb7f..7e24173 100644 --- a/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h +++ b/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h b/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h index 5aadaa8..84eb2df 100644 --- a/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h +++ b/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h b/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h index 78eeb7f..7e24173 100644 --- a/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h +++ b/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h b/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h index 4d6beca..4403f7e 100644 --- a/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h +++ b/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/reservation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4allocman/src/allocman.c b/libsel4allocman/src/allocman.c index e33dadd..605679f 100644 --- a/libsel4allocman/src/allocman.c +++ b/libsel4allocman/src/allocman.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/allocman.h>
diff --git a/libsel4allocman/src/bootstrap.c b/libsel4allocman/src/bootstrap.c index 0a85761..a9ffd35 100644 --- a/libsel4allocman/src/bootstrap.c +++ b/libsel4allocman/src/bootstrap.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4allocman/src/cspace/simple1level.c b/libsel4allocman/src/cspace/simple1level.c index 49f7af2..086e17a 100644 --- a/libsel4allocman/src/cspace/simple1level.c +++ b/libsel4allocman/src/cspace/simple1level.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/cspace/simple1level.h>
diff --git a/libsel4allocman/src/cspace/single_level.c b/libsel4allocman/src/cspace/single_level.c index 73c35f7..4e01305 100644 --- a/libsel4allocman/src/cspace/single_level.c +++ b/libsel4allocman/src/cspace/single_level.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/cspace/single_level.h>
diff --git a/libsel4allocman/src/cspace/two_level.c b/libsel4allocman/src/cspace/two_level.c index 8967322..65e1623 100644 --- a/libsel4allocman/src/cspace/two_level.c +++ b/libsel4allocman/src/cspace/two_level.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/cspace/two_level.h>
diff --git a/libsel4allocman/src/mspace/dual_pool.c b/libsel4allocman/src/mspace/dual_pool.c index ec2617d..c8e2445 100644 --- a/libsel4allocman/src/mspace/dual_pool.c +++ b/libsel4allocman/src/mspace/dual_pool.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/mspace/dual_pool.h>
diff --git a/libsel4allocman/src/mspace/fixed_pool.c b/libsel4allocman/src/mspace/fixed_pool.c index 2d7946d..fba354e 100644 --- a/libsel4allocman/src/mspace/fixed_pool.c +++ b/libsel4allocman/src/mspace/fixed_pool.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/mspace/fixed_pool.h>
diff --git a/libsel4allocman/src/mspace/k_r_malloc.c b/libsel4allocman/src/mspace/k_r_malloc.c index 9f81f8c..8fccaf6 100644 --- a/libsel4allocman/src/mspace/k_r_malloc.c +++ b/libsel4allocman/src/mspace/k_r_malloc.c
@@ -1,6 +1,10 @@ -/* @LICENSE(CUSTOM) */ - -/* An implementation of malloc as described in the K&R C programming book */ +/* + * An implementation of malloc as described in the K&R C programming book + * + * Copyright 2014, Data61, CSIRO (ABN 41 687 119 230) + * + * SPDX-License-Identifier: BSD-2-Clause + */ #include <allocman/mspace/k_r_malloc.h> #include <stddef.h> /* For NULL */
diff --git a/libsel4allocman/src/mspace/malloc.c b/libsel4allocman/src/mspace/malloc.c index 8eff2ad..94de06a 100644 --- a/libsel4allocman/src/mspace/malloc.c +++ b/libsel4allocman/src/mspace/malloc.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/mspace/malloc.h>
diff --git a/libsel4allocman/src/mspace/virtual_pool.c b/libsel4allocman/src/mspace/virtual_pool.c index 4280aa1..0bccef9 100644 --- a/libsel4allocman/src/mspace/virtual_pool.c +++ b/libsel4allocman/src/mspace/virtual_pool.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/mspace/virtual_pool.h>
diff --git a/libsel4allocman/src/mspace/vspace_pool.c b/libsel4allocman/src/mspace/vspace_pool.c index 3537b6e..3524038 100644 --- a/libsel4allocman/src/mspace/vspace_pool.c +++ b/libsel4allocman/src/mspace/vspace_pool.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/mspace/vspace_pool.h>
diff --git a/libsel4allocman/src/utspace/split.c b/libsel4allocman/src/utspace/split.c index 5eec0d1..141d0f6 100644 --- a/libsel4allocman/src/utspace/split.c +++ b/libsel4allocman/src/utspace/split.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4allocman/src/utspace/twinkle.c b/libsel4allocman/src/utspace/twinkle.c index 1068093..a4458ba 100644 --- a/libsel4allocman/src/utspace/twinkle.c +++ b/libsel4allocman/src/utspace/twinkle.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4allocman/src/vka.c b/libsel4allocman/src/vka.c index dce1252..f3337b7 100644 --- a/libsel4allocman/src/vka.c +++ b/libsel4allocman/src/vka.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <allocman/allocman.h>
diff --git a/libsel4bench/CMakeLists.txt b/libsel4bench/CMakeLists.txt index c932b33..fb3f275 100644 --- a/libsel4bench/CMakeLists.txt +++ b/libsel4bench/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4bench/LICENSE_BSD2.txt b/libsel4bench/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4bench/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h b/libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h index 416d077..1c258c1 100644 --- a/libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h +++ b/libsel4bench/arch_include/arm/armv/armv6/sel4bench/armv/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h b/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h index 9be2662..3eac73b 100644 --- a/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h +++ b/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ //event definitions
diff --git a/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h b/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h index 28ac259..111cd77 100644 --- a/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h +++ b/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/private.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h b/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h index f5926ac..7945b94 100644 --- a/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h +++ b/libsel4bench/arch_include/arm/armv/armv7-a/sel4bench/armv/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h index db80b2b..1567448 100644 --- a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h +++ b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h index 74318fd..29d006b 100644 --- a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h +++ b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/private.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h index 09cfdfa..4d1d651 100644 --- a/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h +++ b/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h index bef92b8..081521c 100644 --- a/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h +++ b/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once //event definitions
diff --git a/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h b/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h index bb0a81a..fbef7c1 100644 --- a/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h +++ b/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/private.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h b/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h index d66bc1e..68d262c 100644 --- a/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h +++ b/libsel4bench/arch_include/arm/cpu/arm1136jf-s/sel4bench/cpu/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h index 40616b0..5f278e8 100644 --- a/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h +++ b/libsel4bench/arch_include/arm/cpu/cortex-a15/sel4bench/cpu/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once /*
diff --git a/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h index 8a22105..afd25ea 100644 --- a/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h +++ b/libsel4bench/arch_include/arm/cpu/cortex-a53/sel4bench/cpu/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once #define SEL4BENCH_EVENT_BUS_ACCESS_LD 0x60
diff --git a/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h index 8a22105..afd25ea 100644 --- a/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h +++ b/libsel4bench/arch_include/arm/cpu/cortex-a57/sel4bench/cpu/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once #define SEL4BENCH_EVENT_BUS_ACCESS_LD 0x60
diff --git a/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h index aa08bfd..91ad306 100644 --- a/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h +++ b/libsel4bench/arch_include/arm/cpu/cortex-a8/sel4bench/cpu/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once //event definitions
diff --git a/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h b/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h index 98a656a..1d6ce8f 100644 --- a/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h +++ b/libsel4bench/arch_include/arm/cpu/cortex-a9/sel4bench/cpu/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once /*
diff --git a/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h b/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h index 5a9856a..4346be9 100644 --- a/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h +++ b/libsel4bench/arch_include/arm/sel4bench/arch/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h b/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h index c0591ac..e652fb6 100644 --- a/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h +++ b/libsel4bench/arch_include/riscv/sel4bench/arch/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2020, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/x86/sel4bench/arch/events.h b/libsel4bench/arch_include/x86/sel4bench/arch/events.h index d31b710..0d0664f 100644 --- a/libsel4bench/arch_include/x86/sel4bench/arch/events.h +++ b/libsel4bench/arch_include/x86/sel4bench/arch/events.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/x86/sel4bench/arch/private.h b/libsel4bench/arch_include/x86/sel4bench/arch/private.h index 1206185..7b1c622 100644 --- a/libsel4bench/arch_include/x86/sel4bench/arch/private.h +++ b/libsel4bench/arch_include/x86/sel4bench/arch/private.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h b/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h index e32a814..858c5a5 100644 --- a/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h +++ b/libsel4bench/arch_include/x86/sel4bench/arch/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/include/sel4bench/kernel_logging.h b/libsel4bench/include/sel4bench/kernel_logging.h index b00fa94..d5e8b1e 100644 --- a/libsel4bench/include/sel4bench/kernel_logging.h +++ b/libsel4bench/include/sel4bench/kernel_logging.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/include/sel4bench/logging.h b/libsel4bench/include/sel4bench/logging.h index 4db488d..7cb9e42 100644 --- a/libsel4bench/include/sel4bench/logging.h +++ b/libsel4bench/include/sel4bench/logging.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/include/sel4bench/sel4bench.h b/libsel4bench/include/sel4bench/sel4bench.h index f6eac71..81cb593 100644 --- a/libsel4bench/include/sel4bench/sel4bench.h +++ b/libsel4bench/include/sel4bench/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/include/sel4bench/types.h b/libsel4bench/include/sel4bench/types.h index 0dc6913..db986cf 100644 --- a/libsel4bench/include/sel4bench/types.h +++ b/libsel4bench/include/sel4bench/types.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h b/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h index 5daf8af..d341336 100644 --- a/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h +++ b/libsel4bench/sel4_arch_include/aarch32/sel4bench/sel4_arch/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h b/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h index b5d4f3b..e3163be 100644 --- a/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h +++ b/libsel4bench/sel4_arch_include/aarch64/sel4bench/sel4_arch/sel4bench.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c b/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c index 2e3e052..ded5898 100644 --- a/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c +++ b/libsel4bench/src/arch/arm/armv/armv7-a/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <utils/util.h>
diff --git a/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c b/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c index 7d74b69..c16fad1 100644 --- a/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c +++ b/libsel4bench/src/arch/arm/armv/armv8-a/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <utils/util.h>
diff --git a/libsel4bench/src/arch/arm/cpu/arm1136jf-s/event_counters.c b/libsel4bench/src/arch/arm/cpu/arm1136jf-s/event_counters.c index 3b4cd9d..ee403ad 100644 --- a/libsel4bench/src/arch/arm/cpu/arm1136jf-s/event_counters.c +++ b/libsel4bench/src/arch/arm/cpu/arm1136jf-s/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <utils/util.h>
diff --git a/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c b/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c index 68bceeb..0725c8d 100644 --- a/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c +++ b/libsel4bench/src/arch/arm/cpu/cortex-a15/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include "../../event_counters.h"
diff --git a/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c b/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c index e76500d..25565d1 100644 --- a/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c +++ b/libsel4bench/src/arch/arm/cpu/cortex-a53/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include "../../event_counters.h"
diff --git a/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c b/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c index edef3fa..01f1884 100644 --- a/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c +++ b/libsel4bench/src/arch/arm/cpu/cortex-a8/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include "../../event_counters.h"
diff --git a/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c b/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c index 6a24b90..72b9edd 100644 --- a/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c +++ b/libsel4bench/src/arch/arm/cpu/cortex-a9/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include "../../event_counters.h"
diff --git a/libsel4bench/src/arch/arm/event_counters.c b/libsel4bench/src/arch/arm/event_counters.c index c18b44f..1d34b32 100644 --- a/libsel4bench/src/arch/arm/event_counters.c +++ b/libsel4bench/src/arch/arm/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include "event_counters.h"
diff --git a/libsel4bench/src/arch/arm/event_counters.h b/libsel4bench/src/arch/arm/event_counters.h index 8b9ce34..3fec28f 100644 --- a/libsel4bench/src/arch/arm/event_counters.h +++ b/libsel4bench/src/arch/arm/event_counters.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/src/arch/x86/event_counters.c b/libsel4bench/src/arch/x86/event_counters.c index a337083..0f97e70 100644 --- a/libsel4bench/src/arch/x86/event_counters.c +++ b/libsel4bench/src/arch/x86/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4bench/sel4bench.h>
diff --git a/libsel4bench/src/event_counters.c b/libsel4bench/src/event_counters.c index 00acf19..076d240 100644 --- a/libsel4bench/src/event_counters.c +++ b/libsel4bench/src/event_counters.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4bench/sel4bench.h>
diff --git a/libsel4bench/src/event_counters.h b/libsel4bench/src/event_counters.h index cd9c934..35aab37 100644 --- a/libsel4bench/src/event_counters.h +++ b/libsel4bench/src/event_counters.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4bench/src/kernel_logging.c b/libsel4bench/src/kernel_logging.c index 3493a8d..d0ef56f 100644 --- a/libsel4bench/src/kernel_logging.c +++ b/libsel4bench/src/kernel_logging.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4bench/kernel_logging.h>
diff --git a/libsel4bench/src/logging.c b/libsel4bench/src/logging.c index 1305217..2847a4f 100644 --- a/libsel4bench/src/logging.c +++ b/libsel4bench/src/logging.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4bench/logging.h>
diff --git a/libsel4debug/CMakeLists.txt b/libsel4debug/CMakeLists.txt index 850cc5a..9842bf1 100644 --- a/libsel4debug/CMakeLists.txt +++ b/libsel4debug/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4debug/LICENSE_BSD2.txt b/libsel4debug/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4debug/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4debug/README b/libsel4debug/README index b228a04..cfb208b 100644 --- a/libsel4debug/README +++ b/libsel4debug/README
@@ -1,13 +1,7 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: BSD-2-Clause --> This library is for debugging userspace applications. Feel free to extend as
diff --git a/libsel4debug/arch_include/arm/sel4debug/arch/registers.h b/libsel4debug/arch_include/arm/sel4debug/arch/registers.h index 415b183..aa3e025 100644 --- a/libsel4debug/arch_include/arm/sel4debug/arch/registers.h +++ b/libsel4debug/arch_include/arm/sel4debug/arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h b/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h index 93e88e4..cab82a7 100644 --- a/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h +++ b/libsel4debug/arch_include/riscv/sel4debug/arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/arch_include/x86/sel4debug/arch/registers.h b/libsel4debug/arch_include/x86/sel4debug/arch/registers.h index 415b183..aa3e025 100644 --- a/libsel4debug/arch_include/x86/sel4debug/arch/registers.h +++ b/libsel4debug/arch_include/x86/sel4debug/arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/debug.h b/libsel4debug/include/sel4debug/debug.h index 7b2b04d..8803f8b 100644 --- a/libsel4debug/include/sel4debug/debug.h +++ b/libsel4debug/include/sel4debug/debug.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/execinfo.h b/libsel4debug/include/sel4debug/execinfo.h index 47ce66d..1cd2054 100644 --- a/libsel4debug/include/sel4debug/execinfo.h +++ b/libsel4debug/include/sel4debug/execinfo.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/identity.h b/libsel4debug/include/sel4debug/identity.h index c82d13e..6331b64 100644 --- a/libsel4debug/include/sel4debug/identity.h +++ b/libsel4debug/include/sel4debug/identity.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* In the case of a fault or other unexpected error, your fault handler or the
diff --git a/libsel4debug/include/sel4debug/instrumentation.h b/libsel4debug/include/sel4debug/instrumentation.h index 1cae55b..6bd09e8 100644 --- a/libsel4debug/include/sel4debug/instrumentation.h +++ b/libsel4debug/include/sel4debug/instrumentation.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/register_dump.h b/libsel4debug/include/sel4debug/register_dump.h index 047ba51..01f06bd 100644 --- a/libsel4debug/include/sel4debug/register_dump.h +++ b/libsel4debug/include/sel4debug/register_dump.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/stack.h b/libsel4debug/include/sel4debug/stack.h index 4ea2e2b..19741c0 100644 --- a/libsel4debug/include/sel4debug/stack.h +++ b/libsel4debug/include/sel4debug/stack.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/stack_trace.h b/libsel4debug/include/sel4debug/stack_trace.h index e9c5a72..89de3a1 100644 --- a/libsel4debug/include/sel4debug/stack_trace.h +++ b/libsel4debug/include/sel4debug/stack_trace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/strerror.h b/libsel4debug/include/sel4debug/strerror.h index f814107..3daa731 100644 --- a/libsel4debug/include/sel4debug/strerror.h +++ b/libsel4debug/include/sel4debug/strerror.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/trampoline.h b/libsel4debug/include/sel4debug/trampoline.h index 63265aa..a0e9dc7 100644 --- a/libsel4debug/include/sel4debug/trampoline.h +++ b/libsel4debug/include/sel4debug/trampoline.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/unknown_syscall.h b/libsel4debug/include/sel4debug/unknown_syscall.h index eb5fc11..f5a929b 100644 --- a/libsel4debug/include/sel4debug/unknown_syscall.h +++ b/libsel4debug/include/sel4debug/unknown_syscall.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/include/sel4debug/user_exception.h b/libsel4debug/include/sel4debug/user_exception.h index db08b5a..9ef2433 100644 --- a/libsel4debug/include/sel4debug/user_exception.h +++ b/libsel4debug/include/sel4debug/user_exception.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h index 79400c4..658ec66 100644 --- a/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h +++ b/libsel4debug/sel4_arch_include/aarch32/sel4debug/sel4_arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h index 8235d7d..488cf0c 100644 --- a/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h +++ b/libsel4debug/sel4_arch_include/aarch64/sel4debug/sel4_arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h index ba30047..1904bb4 100644 --- a/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h +++ b/libsel4debug/sel4_arch_include/ia32/sel4debug/sel4_arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h b/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h index 4fff4b1..5d430ff 100644 --- a/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h +++ b/libsel4debug/sel4_arch_include/x86_64/sel4debug/sel4_arch/registers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4debug/src/alloc.c b/libsel4debug/src/alloc.c index 2bd5e05..93d1832 100644 --- a/libsel4debug/src/alloc.c +++ b/libsel4debug/src/alloc.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* This file contains functionality for debugging heap corruption issues. It is
diff --git a/libsel4debug/src/backtrace.c b/libsel4debug/src/backtrace.c index 1674f11..98da358 100644 --- a/libsel4debug/src/backtrace.c +++ b/libsel4debug/src/backtrace.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @LICENSE(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4debug/gen_config.h>
diff --git a/libsel4debug/src/bootinfo.c b/libsel4debug/src/bootinfo.c index 44e01f3..8b56b9e 100644 --- a/libsel4debug/src/bootinfo.c +++ b/libsel4debug/src/bootinfo.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4debug/src/caps.c b/libsel4debug/src/caps.c index 49baa05..e9ba4c2 100644 --- a/libsel4debug/src/caps.c +++ b/libsel4debug/src/caps.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4debug/src/identity-internal.h b/libsel4debug/src/identity-internal.h index af945d2..32e87ce 100644 --- a/libsel4debug/src/identity-internal.h +++ b/libsel4debug/src/identity-internal.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* See description in identity.h for the purpose of this function. */
diff --git a/libsel4debug/src/identity.c b/libsel4debug/src/identity.c index 6f3a34b..fcc29a2 100644 --- a/libsel4debug/src/identity.c +++ b/libsel4debug/src/identity.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4debug/identity.h>
diff --git a/libsel4debug/src/printf.c b/libsel4debug/src/printf.c index 9b2101c..bc15524 100644 --- a/libsel4debug/src/printf.c +++ b/libsel4debug/src/printf.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4debug/debug.h>
diff --git a/libsel4debug/src/register_dump.c b/libsel4debug/src/register_dump.c index 36df23a..557a349 100644 --- a/libsel4debug/src/register_dump.c +++ b/libsel4debug/src/register_dump.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @LICENSE(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4debug/src/sel4_arch/aarch32/trampoline.S b/libsel4debug/src/sel4_arch/aarch32/trampoline.S index aa66774..6db591a 100644 --- a/libsel4debug/src/sel4_arch/aarch32/trampoline.S +++ b/libsel4debug/src/sel4_arch/aarch32/trampoline.S
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* See trampoline.h for an explanation of this functionality. */
diff --git a/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c b/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c index b1eef7d..b3ea119 100644 --- a/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c +++ b/libsel4debug/src/sel4_arch/aarch32/unknown_syscall.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4debug/src/sel4_arch/aarch32/user_exception.c b/libsel4debug/src/sel4_arch/aarch32/user_exception.c index c3a9d69..2859e0b 100644 --- a/libsel4debug/src/sel4_arch/aarch32/user_exception.c +++ b/libsel4debug/src/sel4_arch/aarch32/user_exception.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4debug/src/sel4_arch/ia32/stack_trace.c b/libsel4debug/src/sel4_arch/ia32/stack_trace.c index ac4ee0a..abe90e4 100644 --- a/libsel4debug/src/sel4_arch/ia32/stack_trace.c +++ b/libsel4debug/src/sel4_arch/ia32/stack_trace.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdio.h>
diff --git a/libsel4debug/src/sel4_arch/ia32/trampoline.S b/libsel4debug/src/sel4_arch/ia32/trampoline.S index 6d1ecba..4665e59 100644 --- a/libsel4debug/src/sel4_arch/ia32/trampoline.S +++ b/libsel4debug/src/sel4_arch/ia32/trampoline.S
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* See trampoline.h for an explanation of this functionality. */
diff --git a/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c b/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c index a7c18b9..6fdaea2 100644 --- a/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c +++ b/libsel4debug/src/sel4_arch/ia32/unknown_syscall.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4debug/src/sel4_arch/ia32/user_exception.c b/libsel4debug/src/sel4_arch/ia32/user_exception.c index 5e6a9e1..4036423 100644 --- a/libsel4debug/src/sel4_arch/ia32/user_exception.c +++ b/libsel4debug/src/sel4_arch/ia32/user_exception.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4debug/src/stack.c b/libsel4debug/src/stack.c index feb3248..9ed1d10 100644 --- a/libsel4debug/src/stack.c +++ b/libsel4debug/src/stack.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @LICENSE(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4debug/stack.h>
diff --git a/libsel4debug/src/trace.c b/libsel4debug/src/trace.c index ea92c41..fd76511 100644 --- a/libsel4debug/src/trace.c +++ b/libsel4debug/src/trace.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4muslcsys/CMakeLists.txt b/libsel4muslcsys/CMakeLists.txt index 731bc65..a7104b2 100644 --- a/libsel4muslcsys/CMakeLists.txt +++ b/libsel4muslcsys/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4muslcsys/LICENSE_BSD2.txt b/libsel4muslcsys/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4muslcsys/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4muslcsys/README b/libsel4muslcsys/README index b0949d7..c705817 100644 --- a/libsel4muslcsys/README +++ b/libsel4muslcsys/README
@@ -1,13 +1,7 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: BSD-2-Clause --> Minimal muslc syscall implementation for seL4.
diff --git a/libsel4muslcsys/include/arch_stdio.h b/libsel4muslcsys/include/arch_stdio.h index 199c02a..0a46b82 100644 --- a/libsel4muslcsys/include/arch_stdio.h +++ b/libsel4muslcsys/include/arch_stdio.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4muslcsys/include/muslcsys/io.h b/libsel4muslcsys/include/muslcsys/io.h index 2c9a73f..1ed7960 100644 --- a/libsel4muslcsys/include/muslcsys/io.h +++ b/libsel4muslcsys/include/muslcsys/io.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4muslcsys/include/muslcsys/vsyscall.h b/libsel4muslcsys/include/muslcsys/vsyscall.h index c96871d..8a17296 100644 --- a/libsel4muslcsys/include/muslcsys/vsyscall.h +++ b/libsel4muslcsys/include/muslcsys/vsyscall.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4muslcsys/src/sys_exit.c b/libsel4muslcsys/src/sys_exit.c index 258e22a..6501476 100644 --- a/libsel4muslcsys/src/sys_exit.c +++ b/libsel4muslcsys/src/sys_exit.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4muslcsys/src/sys_io.c b/libsel4muslcsys/src/sys_io.c index 4544371..b221a03 100644 --- a/libsel4muslcsys/src/sys_io.c +++ b/libsel4muslcsys/src/sys_io.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4muslcsys/src/sys_morecore.c b/libsel4muslcsys/src/sys_morecore.c index fdd267b..bfe49ae 100644 --- a/libsel4muslcsys/src/sys_morecore.c +++ b/libsel4muslcsys/src/sys_morecore.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* defining _GNU_SOURCE to make certain constants appear in muslc. This is rather hacky */
diff --git a/libsel4muslcsys/src/sys_thread.c b/libsel4muslcsys/src/sys_thread.c index 3afc66f..369d03d 100644 --- a/libsel4muslcsys/src/sys_thread.c +++ b/libsel4muslcsys/src/sys_thread.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdio.h>
diff --git a/libsel4muslcsys/src/sys_yield.c b/libsel4muslcsys/src/sys_yield.c index 272f31e..9517e96 100644 --- a/libsel4muslcsys/src/sys_yield.c +++ b/libsel4muslcsys/src/sys_yield.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdio.h>
diff --git a/libsel4muslcsys/src/syscalls.h b/libsel4muslcsys/src/syscalls.h index 9101f8d..c8c788e 100644 --- a/libsel4muslcsys/src/syscalls.h +++ b/libsel4muslcsys/src/syscalls.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4muslcsys/src/vsyscall.c b/libsel4muslcsys/src/vsyscall.c index aa3ce88..4af1d26 100644 --- a/libsel4muslcsys/src/vsyscall.c +++ b/libsel4muslcsys/src/vsyscall.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4platsupport/CMakeLists.txt b/libsel4platsupport/CMakeLists.txt index b23531b..8f1e0b7 100644 --- a/libsel4platsupport/CMakeLists.txt +++ b/libsel4platsupport/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4platsupport/LICENSE_BSD2.txt b/libsel4platsupport/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4platsupport/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h b/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h index da14c1b..c897182 100644 --- a/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h +++ b/libsel4platsupport/arch_include/arm/sel4platsupport/arch/io.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h b/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h index 5da3bb4..b2662bc 100644 --- a/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h +++ b/libsel4platsupport/arch_include/x86/sel4platsupport/arch/io.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/bootinfo.h b/libsel4platsupport/include/sel4platsupport/bootinfo.h index 42dcfcb..3dc3fef 100644 --- a/libsel4platsupport/include/sel4platsupport/bootinfo.h +++ b/libsel4platsupport/include/sel4platsupport/bootinfo.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/device.h b/libsel4platsupport/include/sel4platsupport/device.h index d4e3c2a..44557c1 100644 --- a/libsel4platsupport/include/sel4platsupport/device.h +++ b/libsel4platsupport/include/sel4platsupport/device.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/io.h b/libsel4platsupport/include/sel4platsupport/io.h index fa33cba..fbfadcb 100644 --- a/libsel4platsupport/include/sel4platsupport/io.h +++ b/libsel4platsupport/include/sel4platsupport/io.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/irq.h b/libsel4platsupport/include/sel4platsupport/irq.h index 2d40c79..0601414 100644 --- a/libsel4platsupport/include/sel4platsupport/irq.h +++ b/libsel4platsupport/include/sel4platsupport/irq.h
@@ -1,13 +1,7 @@ /* - * Copyright 2019, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/platsupport.h b/libsel4platsupport/include/sel4platsupport/platsupport.h index 5b9edc7..7b329a4 100644 --- a/libsel4platsupport/include/sel4platsupport/platsupport.h +++ b/libsel4platsupport/include/sel4platsupport/platsupport.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/pmem.h b/libsel4platsupport/include/sel4platsupport/pmem.h index f9b7c82..c30f907 100644 --- a/libsel4platsupport/include/sel4platsupport/pmem.h +++ b/libsel4platsupport/include/sel4platsupport/pmem.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/include/sel4platsupport/timer.h b/libsel4platsupport/include/sel4platsupport/timer.h index 2f8fc76..eac328b 100644 --- a/libsel4platsupport/include/sel4platsupport/timer.h +++ b/libsel4platsupport/include/sel4platsupport/timer.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/src/arch/arm/device.c b/libsel4platsupport/src/arch/arm/device.c index 2c7b005..71b4b99 100644 --- a/libsel4platsupport/src/arch/arm/device.c +++ b/libsel4platsupport/src/arch/arm/device.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4platsupport/device.h>
diff --git a/libsel4platsupport/src/arch/arm/io_port_ops.c b/libsel4platsupport/src/arch/arm/io_port_ops.c index ba7d0b7..a41810c 100644 --- a/libsel4platsupport/src/arch/arm/io_port_ops.c +++ b/libsel4platsupport/src/arch/arm/io_port_ops.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4platsupport/src/arch/arm/pmem.c b/libsel4platsupport/src/arch/arm/pmem.c index f41ac10..25a9847 100644 --- a/libsel4platsupport/src/arch/arm/pmem.c +++ b/libsel4platsupport/src/arch/arm/pmem.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdint.h>
diff --git a/libsel4platsupport/src/arch/x86/io_port_ops.c b/libsel4platsupport/src/arch/x86/io_port_ops.c index 9ac3906..66d9652 100644 --- a/libsel4platsupport/src/arch/x86/io_port_ops.c +++ b/libsel4platsupport/src/arch/x86/io_port_ops.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4platsupport/src/arch/x86/pmem.c b/libsel4platsupport/src/arch/x86/pmem.c index 013805b..93c021e 100644 --- a/libsel4platsupport/src/arch/x86/pmem.c +++ b/libsel4platsupport/src/arch/x86/pmem.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdint.h>
diff --git a/libsel4platsupport/src/bootinfo.c b/libsel4platsupport/src/bootinfo.c index d8d099c..e70ee91 100644 --- a/libsel4platsupport/src/bootinfo.c +++ b/libsel4platsupport/src/bootinfo.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4platsupport/src/common.c b/libsel4platsupport/src/common.c index 38dfdca..a1f130e 100644 --- a/libsel4platsupport/src/common.c +++ b/libsel4platsupport/src/common.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* * This file provides routines that can be called by other libraries to access
diff --git a/libsel4platsupport/src/device.c b/libsel4platsupport/src/device.c index 084597f..9e9f2d4 100644 --- a/libsel4platsupport/src/device.c +++ b/libsel4platsupport/src/device.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4platsupport/gen_config.h>
diff --git a/libsel4platsupport/src/io.c b/libsel4platsupport/src/io.c index 18377c4..59031d3 100644 --- a/libsel4platsupport/src/io.c +++ b/libsel4platsupport/src/io.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4platsupport/src/irq.c b/libsel4platsupport/src/irq.c index 27d09ef..555a393 100644 --- a/libsel4platsupport/src/irq.c +++ b/libsel4platsupport/src/irq.c
@@ -1,13 +1,7 @@ /* - * Copyright 2019, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <assert.h>
diff --git a/libsel4platsupport/src/plat/pc99/device.c b/libsel4platsupport/src/plat/pc99/device.c index d1592e3..e94c723 100644 --- a/libsel4platsupport/src/plat/pc99/device.c +++ b/libsel4platsupport/src/plat/pc99/device.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4platsupport/gen_config.h>
diff --git a/libsel4platsupport/src/plat_internal.h b/libsel4platsupport/src/plat_internal.h index f99491f..85b6563 100644 --- a/libsel4platsupport/src/plat_internal.h +++ b/libsel4platsupport/src/plat_internal.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4platsupport/src/sel4_arch/aarch32/crt0.S b/libsel4platsupport/src/sel4_arch/aarch32/crt0.S index 50fe94f..9595e0e 100644 --- a/libsel4platsupport/src/sel4_arch/aarch32/crt0.S +++ b/libsel4platsupport/src/sel4_arch/aarch32/crt0.S
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* * A default crt0 for ARM. It does the bare minimum required to get into
diff --git a/libsel4platsupport/src/sel4_arch/aarch64/crt0.S b/libsel4platsupport/src/sel4_arch/aarch64/crt0.S index 8498839..3fb55d1 100644 --- a/libsel4platsupport/src/sel4_arch/aarch64/crt0.S +++ b/libsel4platsupport/src/sel4_arch/aarch64/crt0.S
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4platsupport/src/sel4_arch/ia32/crt0.S b/libsel4platsupport/src/sel4_arch/ia32/crt0.S index 0082b19..ebed0f4 100644 --- a/libsel4platsupport/src/sel4_arch/ia32/crt0.S +++ b/libsel4platsupport/src/sel4_arch/ia32/crt0.S
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* * A default crt0 for ia32. It does the bare minimum required to get into
diff --git a/libsel4platsupport/src/sel4_arch/x86_64/crt0.S b/libsel4platsupport/src/sel4_arch/x86_64/crt0.S index f0c3dd5..4bbfe62 100644 --- a/libsel4platsupport/src/sel4_arch/x86_64/crt0.S +++ b/libsel4platsupport/src/sel4_arch/x86_64/crt0.S
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* * A default crt0 for ia32. It does the bare minimum required to get into
diff --git a/libsel4platsupport/src/serial.c b/libsel4platsupport/src/serial.c index 635ba72..77d93be 100644 --- a/libsel4platsupport/src/serial.c +++ b/libsel4platsupport/src/serial.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include "plat_internal.h"
diff --git a/libsel4platsupport/src/timer.c b/libsel4platsupport/src/timer.c index d46d189..0e01d68 100644 --- a/libsel4platsupport/src/timer.c +++ b/libsel4platsupport/src/timer.c
@@ -1,14 +1,8 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * -* @TAG(DATA61_BSD) -*/ + * SPDX-License-Identifier: BSD-2-Clause + */ #include <autoconf.h> #include <sel4platsupport/gen_config.h>
diff --git a/libsel4serialserver/CMakeLists.txt b/libsel4serialserver/CMakeLists.txt index ec98110..6699d7c 100644 --- a/libsel4serialserver/CMakeLists.txt +++ b/libsel4serialserver/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4serialserver/LICENSE_BSD2.txt b/libsel4serialserver/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4serialserver/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4serialserver/README.md b/libsel4serialserver/README.md index b772321..1090c41 100644 --- a/libsel4serialserver/README.md +++ b/libsel4serialserver/README.md
@@ -1,14 +1,9 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: CC-BY-SA-4.0 --> + # 1. MISSION STATEMENT AND CURRENT STATUS. The Serial Server thread is able to connect to a character device and act as a
diff --git a/libsel4serialserver/include/serial_server/client.h b/libsel4serialserver/include/serial_server/client.h index eae5d33..8e10a98 100644 --- a/libsel4serialserver/include/serial_server/client.h +++ b/libsel4serialserver/include/serial_server/client.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4serialserver/include/serial_server/parent.h b/libsel4serialserver/include/serial_server/parent.h index b4ffaf3..f165f91 100644 --- a/libsel4serialserver/include/serial_server/parent.h +++ b/libsel4serialserver/include/serial_server/parent.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4serialserver/include/serial_server/test.h b/libsel4serialserver/include/serial_server/test.h index 57db900..d98cda7 100644 --- a/libsel4serialserver/include/serial_server/test.h +++ b/libsel4serialserver/include/serial_server/test.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4serialserver/src/clientapi.c b/libsel4serialserver/src/clientapi.c index ec7f9de..cdcf4d1 100644 --- a/libsel4serialserver/src/clientapi.c +++ b/libsel4serialserver/src/clientapi.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdio.h> #include <string.h>
diff --git a/libsel4serialserver/src/parentapi.c b/libsel4serialserver/src/parentapi.c index db51bfd..c1a2b8e 100644 --- a/libsel4serialserver/src/parentapi.c +++ b/libsel4serialserver/src/parentapi.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdio.h> #include <string.h>
diff --git a/libsel4serialserver/src/serial_server.h b/libsel4serialserver/src/serial_server.h index 93ecb2b..22b4950 100644 --- a/libsel4serialserver/src/serial_server.h +++ b/libsel4serialserver/src/serial_server.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4serialserver/src/server.c b/libsel4serialserver/src/server.c index c13c198..0170c60 100644 --- a/libsel4serialserver/src/server.c +++ b/libsel4serialserver/src/server.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4serialserver/gen_config.h>
diff --git a/libsel4serialserver/src/test.c b/libsel4serialserver/src/test.c index 3c8cdcf..073f933 100644 --- a/libsel4serialserver/src/test.c +++ b/libsel4serialserver/src/test.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <string.h>
diff --git a/libsel4simple-default/CMakeLists.txt b/libsel4simple-default/CMakeLists.txt index bec383c..aea8916 100644 --- a/libsel4simple-default/CMakeLists.txt +++ b/libsel4simple-default/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4simple-default/LICENSE_BSD2.txt b/libsel4simple-default/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4simple-default/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4simple-default/include/simple-default/simple-default.h b/libsel4simple-default/include/simple-default/simple-default.h index 7267170..efd4b36 100644 --- a/libsel4simple-default/include/simple-default/simple-default.h +++ b/libsel4simple-default/include/simple-default/simple-default.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4simple-default/src/arch/arm/default.c b/libsel4simple-default/src/arch/arm/default.c index 7a9c625..a7805c8 100644 --- a/libsel4simple-default/src/arch/arm/default.c +++ b/libsel4simple-default/src/arch/arm/default.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4simple-default/src/arch/riscv/default.c b/libsel4simple-default/src/arch/riscv/default.c index 2bf7157..8dc63f2 100644 --- a/libsel4simple-default/src/arch/riscv/default.c +++ b/libsel4simple-default/src/arch/riscv/default.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4simple-default/src/arch/x86/default.c b/libsel4simple-default/src/arch/x86/default.c index ceffeab..37cca6e 100644 --- a/libsel4simple-default/src/arch/x86/default.c +++ b/libsel4simple-default/src/arch/x86/default.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4simple-default/src/libsel4simple-default.c b/libsel4simple-default/src/libsel4simple-default.c index 946b734..46cd314 100644 --- a/libsel4simple-default/src/libsel4simple-default.c +++ b/libsel4simple-default/src/libsel4simple-default.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4simple/CMakeLists.txt b/libsel4simple/CMakeLists.txt index 9a350de..146d042 100644 --- a/libsel4simple/CMakeLists.txt +++ b/libsel4simple/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4simple/LICENSE_BSD2.txt b/libsel4simple/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4simple/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4simple/arch_include/arm/simple/arch/simple.h b/libsel4simple/arch_include/arm/simple/arch/simple.h index d204ca0..dac7eb1 100644 --- a/libsel4simple/arch_include/arm/simple/arch/simple.h +++ b/libsel4simple/arch_include/arm/simple/arch/simple.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4simple/arch_include/x86/simple/arch/simple.h b/libsel4simple/arch_include/x86/simple/arch/simple.h index 627e4cf..b1d396e 100644 --- a/libsel4simple/arch_include/x86/simple/arch/simple.h +++ b/libsel4simple/arch_include/x86/simple/arch/simple.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4simple/include/simple/simple.h b/libsel4simple/include/simple/simple.h index 9305926..3afdbeb 100644 --- a/libsel4simple/include/simple/simple.h +++ b/libsel4simple/include/simple/simple.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4simple/include/simple/simple_helpers.h b/libsel4simple/include/simple/simple_helpers.h index 86d9208..18c49b5 100644 --- a/libsel4simple/include/simple/simple_helpers.h +++ b/libsel4simple/include/simple/simple_helpers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4simple/src/simple.c b/libsel4simple/src/simple.c index 882b1cd..d280e6e 100644 --- a/libsel4simple/src/simple.c +++ b/libsel4simple/src/simple.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <simple/simple_helpers.h>
diff --git a/libsel4sync/CMakeLists.txt b/libsel4sync/CMakeLists.txt index 6e1b4ce..9768766 100644 --- a/libsel4sync/CMakeLists.txt +++ b/libsel4sync/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4sync/LICENSE_BSD2.txt b/libsel4sync/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4sync/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4sync/README.md b/libsel4sync/README.md index 3e30a08..c6d76d9 100644 --- a/libsel4sync/README.md +++ b/libsel4sync/README.md
@@ -1,14 +1,8 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) - --> + SPDX-License-Identifier: CC-BY-SA-4.0 +--> # seL4 synchronisation library
diff --git a/libsel4sync/include/sync/bin_sem.h b/libsel4sync/include/sync/bin_sem.h index caaaa2f..f4a187e 100644 --- a/libsel4sync/include/sync/bin_sem.h +++ b/libsel4sync/include/sync/bin_sem.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4sync/include/sync/bin_sem_bare.h b/libsel4sync/include/sync/bin_sem_bare.h index 7fc55e6..3069c8a 100644 --- a/libsel4sync/include/sync/bin_sem_bare.h +++ b/libsel4sync/include/sync/bin_sem_bare.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4sync/include/sync/condition_var.h b/libsel4sync/include/sync/condition_var.h index 160fff2..b3f8851 100644 --- a/libsel4sync/include/sync/condition_var.h +++ b/libsel4sync/include/sync/condition_var.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4sync/include/sync/mutex.h b/libsel4sync/include/sync/mutex.h index ff50903..aa93a3b 100644 --- a/libsel4sync/include/sync/mutex.h +++ b/libsel4sync/include/sync/mutex.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4sync/include/sync/recursive_mutex.h b/libsel4sync/include/sync/recursive_mutex.h index 3846dd8..6e8189a 100644 --- a/libsel4sync/include/sync/recursive_mutex.h +++ b/libsel4sync/include/sync/recursive_mutex.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* An implementation of recursive mutexes. Assumptions are similar to pthread
diff --git a/libsel4sync/include/sync/sem-bare.h b/libsel4sync/include/sync/sem-bare.h index 203a8a3..505e7fc 100644 --- a/libsel4sync/include/sync/sem-bare.h +++ b/libsel4sync/include/sync/sem-bare.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4sync/include/sync/sem.h b/libsel4sync/include/sync/sem.h index 1b98435..eb72027 100644 --- a/libsel4sync/include/sync/sem.h +++ b/libsel4sync/include/sync/sem.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4sync/spin/binary-sem/Makefile b/libsel4sync/spin/binary-sem/Makefile index e5bbcd8..0f8d178 100644 --- a/libsel4sync/spin/binary-sem/Makefile +++ b/libsel4sync/spin/binary-sem/Makefile
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # all: safety
diff --git a/libsel4sync/spin/binary-sem/binary-sem.pml b/libsel4sync/spin/binary-sem/binary-sem.pml index 7cede0f..184f86e 100644 --- a/libsel4sync/spin/binary-sem/binary-sem.pml +++ b/libsel4sync/spin/binary-sem/binary-sem.pml
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #define send_enabled 1
diff --git a/libsel4sync/spin/condition-vars/Makefile b/libsel4sync/spin/condition-vars/Makefile index 0808e0c..077431e 100644 --- a/libsel4sync/spin/condition-vars/Makefile +++ b/libsel4sync/spin/condition-vars/Makefile
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # all: safety liveness
diff --git a/libsel4sync/spin/condition-vars/cv.pml b/libsel4sync/spin/condition-vars/cv.pml index 4bfc92b..7d60976 100644 --- a/libsel4sync/spin/condition-vars/cv.pml +++ b/libsel4sync/spin/condition-vars/cv.pml
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #define MAX_RES_VAL 2
diff --git a/libsel4sync/spin/notification-semaphore/Makefile b/libsel4sync/spin/notification-semaphore/Makefile index 510ef95..fc615e7 100644 --- a/libsel4sync/spin/notification-semaphore/Makefile +++ b/libsel4sync/spin/notification-semaphore/Makefile
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # all: safety liveness
diff --git a/libsel4sync/spin/notification-semaphore/semaphore.pml b/libsel4sync/spin/notification-semaphore/semaphore.pml index 983d1b3..23798db 100644 --- a/libsel4sync/spin/notification-semaphore/semaphore.pml +++ b/libsel4sync/spin/notification-semaphore/semaphore.pml
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #define MAX_SEM_VAL 1
diff --git a/libsel4sync/spin/sem/Makefile b/libsel4sync/spin/sem/Makefile index 0f1095f..3ae4a8c 100644 --- a/libsel4sync/spin/sem/Makefile +++ b/libsel4sync/spin/sem/Makefile
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # all: safety liveness
diff --git a/libsel4sync/spin/sem/sem.promela b/libsel4sync/spin/sem/sem.promela index 1d20ece..ba68a73 100644 --- a/libsel4sync/spin/sem/sem.promela +++ b/libsel4sync/spin/sem/sem.promela
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #define MAX_SEM_VAL 1
diff --git a/libsel4sync/src/recursive_mutex.c b/libsel4sync/src/recursive_mutex.c index 9862354..46a2cda 100644 --- a/libsel4sync/src/recursive_mutex.c +++ b/libsel4sync/src/recursive_mutex.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4test/CMakeLists.txt b/libsel4test/CMakeLists.txt index b903f19..8824b26 100644 --- a/libsel4test/CMakeLists.txt +++ b/libsel4test/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4test/LICENSE_BSD2.txt b/libsel4test/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4test/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4test/README b/libsel4test/README index 845765b..dc867e6 100644 --- a/libsel4test/README +++ b/libsel4test/README
@@ -1,13 +1,7 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: BSD-2-Clause --> This library is for running tests and generating test output in either
diff --git a/libsel4test/include/sel4test/macros.h b/libsel4test/include/sel4test/macros.h index e021983..391ba24 100644 --- a/libsel4test/include/sel4test/macros.h +++ b/libsel4test/include/sel4test/macros.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4test/include/sel4test/test.h b/libsel4test/include/sel4test/test.h index 114e99d..bdfe9c1 100644 --- a/libsel4test/include/sel4test/test.h +++ b/libsel4test/include/sel4test/test.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4test/include/sel4test/testutil.h b/libsel4test/include/sel4test/testutil.h index c661206..32c47b9 100644 --- a/libsel4test/include/sel4test/testutil.h +++ b/libsel4test/include/sel4test/testutil.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4test/src/testutil.c b/libsel4test/src/testutil.c index 241ce9f..c9ffd65 100644 --- a/libsel4test/src/testutil.c +++ b/libsel4test/src/testutil.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4test/tools/extract_results.py b/libsel4test/tools/extract_results.py index ea36113..73155e3 100755 --- a/libsel4test/tools/extract_results.py +++ b/libsel4test/tools/extract_results.py
@@ -1,14 +1,9 @@ #!/usr/bin/env python3 # -# Copyright 2020, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. +# SPDX-License-Identifier: BSD-2-Clause # -# @TAG(DATA61_BSD) import argparse import bs4 import functools
diff --git a/libsel4utils/CMakeLists.txt b/libsel4utils/CMakeLists.txt index ed5363b..f6d0a58 100644 --- a/libsel4utils/CMakeLists.txt +++ b/libsel4utils/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4utils/LICENSE_BSD2.txt b/libsel4utils/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4utils/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4utils/README.md b/libsel4utils/README.md index a6fe4c4..f61a63f 100644 --- a/libsel4utils/README.md +++ b/libsel4utils/README.md
@@ -1,13 +1,7 @@ -<!--- - Copyright 2017, Data61 - Commonwealth Scientific and Industrial Research Organisation (CSIRO) - ABN 41 687 119 230. +<!-- + Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) - This software may be distributed and modified according to the terms of - the BSD 2-Clause license. Note that NO WARRANTY is provided. - See "LICENSE_BSD2.txt" for details. - - @TAG(DATA61_BSD) + SPDX-License-Identifier: CC-BY-SA-4.0 --> libsel4utils @@ -64,9 +58,3 @@ * `SEL4UTILS_STACK_SIZE` -- the default stack size to use for processes and threads. * `SEL4UTILS_CSPACE_SIZE_BITS` -- the default cspace size for new processes (threads use the current cspace). - -License -======== - -The files in this repository are release under standard open source licenses. -Please see individual file headers and the `LICENSE_BSD2`.txt file for details.
diff --git a/libsel4utils/arch_include/arm/sel4utils/arch/cache.h b/libsel4utils/arch_include/arm/sel4utils/arch/cache.h index c995488..2212670 100644 --- a/libsel4utils/arch_include/arm/sel4utils/arch/cache.h +++ b/libsel4utils/arch_include/arm/sel4utils/arch/cache.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/arm/sel4utils/arch/page.h b/libsel4utils/arch_include/arm/sel4utils/arch/page.h index 68ba48b..27da53e 100644 --- a/libsel4utils/arch_include/arm/sel4utils/arch/page.h +++ b/libsel4utils/arch_include/arm/sel4utils/arch/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/arm/sel4utils/arch/util.h b/libsel4utils/arch_include/arm/sel4utils/arch/util.h index 35d511d..d97ad98 100644 --- a/libsel4utils/arch_include/arm/sel4utils/arch/util.h +++ b/libsel4utils/arch_include/arm/sel4utils/arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h b/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h index 5767e14..93e2093 100644 --- a/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h +++ b/libsel4utils/arch_include/arm/sel4utils/arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h b/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h index 9efeda1..eec593b 100644 --- a/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h +++ b/libsel4utils/arch_include/riscv/sel4utils/arch/cache.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/riscv/sel4utils/arch/page.h b/libsel4utils/arch_include/riscv/sel4utils/arch/page.h index 6ca3c06..b00bc83 100644 --- a/libsel4utils/arch_include/riscv/sel4utils/arch/page.h +++ b/libsel4utils/arch_include/riscv/sel4utils/arch/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/riscv/sel4utils/arch/util.h b/libsel4utils/arch_include/riscv/sel4utils/arch/util.h index bdb03c3..a8b64fc 100644 --- a/libsel4utils/arch_include/riscv/sel4utils/arch/util.h +++ b/libsel4utils/arch_include/riscv/sel4utils/arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h b/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h index 1bcd4db..43e6e57 100644 --- a/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h +++ b/libsel4utils/arch_include/riscv/sel4utils/arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/x86/sel4utils/arch/cache.h b/libsel4utils/arch_include/x86/sel4utils/arch/cache.h index 89d088a..5cbe781 100644 --- a/libsel4utils/arch_include/x86/sel4utils/arch/cache.h +++ b/libsel4utils/arch_include/x86/sel4utils/arch/cache.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/x86/sel4utils/arch/page.h b/libsel4utils/arch_include/x86/sel4utils/arch/page.h index 68ba48b..27da53e 100644 --- a/libsel4utils/arch_include/x86/sel4utils/arch/page.h +++ b/libsel4utils/arch_include/x86/sel4utils/arch/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h b/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h index 66a1b1a..1cd20c0 100644 --- a/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h +++ b/libsel4utils/arch_include/x86/sel4utils/arch/tsc.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/x86/sel4utils/arch/util.h b/libsel4utils/arch_include/x86/sel4utils/arch/util.h index 3ef490b..3c45d7b 100644 --- a/libsel4utils/arch_include/x86/sel4utils/arch/util.h +++ b/libsel4utils/arch_include/x86/sel4utils/arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h b/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h index c4fb989..ef72301 100644 --- a/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h +++ b/libsel4utils/arch_include/x86/sel4utils/arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/api.h b/libsel4utils/include/sel4utils/api.h index b447d02..25847d0 100644 --- a/libsel4utils/include/sel4utils/api.h +++ b/libsel4utils/include/sel4utils/api.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/benchmark.h b/libsel4utils/include/sel4utils/benchmark.h index 31a0696..936090e 100644 --- a/libsel4utils/include/sel4utils/benchmark.h +++ b/libsel4utils/include/sel4utils/benchmark.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/benchmark_track.h b/libsel4utils/include/sel4utils/benchmark_track.h index 199542d..8dd9bc8 100644 --- a/libsel4utils/include/sel4utils/benchmark_track.h +++ b/libsel4utils/include/sel4utils/benchmark_track.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once #include <autoconf.h>
diff --git a/libsel4utils/include/sel4utils/elf.h b/libsel4utils/include/sel4utils/elf.h index deb720b..6703965 100644 --- a/libsel4utils/include/sel4utils/elf.h +++ b/libsel4utils/include/sel4utils/elf.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/helpers.h b/libsel4utils/include/sel4utils/helpers.h index 4cb3539..b706f93 100644 --- a/libsel4utils/include/sel4utils/helpers.h +++ b/libsel4utils/include/sel4utils/helpers.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/iommu_dma.h b/libsel4utils/include/sel4utils/iommu_dma.h index 1ab3a43..53ec1bb 100644 --- a/libsel4utils/include/sel4utils/iommu_dma.h +++ b/libsel4utils/include/sel4utils/iommu_dma.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/irq_server.h b/libsel4utils/include/sel4utils/irq_server.h index 2b948ea..86cd404 100644 --- a/libsel4utils/include/sel4utils/irq_server.h +++ b/libsel4utils/include/sel4utils/irq_server.h
@@ -1,13 +1,7 @@ /* - * Copyright 2019, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /**
diff --git a/libsel4utils/include/sel4utils/mapping.h b/libsel4utils/include/sel4utils/mapping.h index 63c86ea..8cfa356 100644 --- a/libsel4utils/include/sel4utils/mapping.h +++ b/libsel4utils/include/sel4utils/mapping.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/mcs_api.h b/libsel4utils/include/sel4utils/mcs_api.h index 1ce3186..7340fab 100644 --- a/libsel4utils/include/sel4utils/mcs_api.h +++ b/libsel4utils/include/sel4utils/mcs_api.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/page.h b/libsel4utils/include/sel4utils/page.h index 372e38a..0792ecc 100644 --- a/libsel4utils/include/sel4utils/page.h +++ b/libsel4utils/include/sel4utils/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/page_dma.h b/libsel4utils/include/sel4utils/page_dma.h index 7249efc..262c398 100644 --- a/libsel4utils/include/sel4utils/page_dma.h +++ b/libsel4utils/include/sel4utils/page_dma.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/process.h b/libsel4utils/include/sel4utils/process.h index a9e0f1b..e836ea9 100644 --- a/libsel4utils/include/sel4utils/process.h +++ b/libsel4utils/include/sel4utils/process.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/process_config.h b/libsel4utils/include/sel4utils/process_config.h index ffbc34d..124411b 100644 --- a/libsel4utils/include/sel4utils/process_config.h +++ b/libsel4utils/include/sel4utils/process_config.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/profile.h b/libsel4utils/include/sel4utils/profile.h index 91ced88..5c222a7 100644 --- a/libsel4utils/include/sel4utils/profile.h +++ b/libsel4utils/include/sel4utils/profile.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/sel4_zf_logif.h b/libsel4utils/include/sel4utils/sel4_zf_logif.h index 10ca4c8..50317f0 100644 --- a/libsel4utils/include/sel4utils/sel4_zf_logif.h +++ b/libsel4utils/include/sel4utils/sel4_zf_logif.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/slab.h b/libsel4utils/include/sel4utils/slab.h index 23dbfbe..fa1f2ec 100644 --- a/libsel4utils/include/sel4utils/slab.h +++ b/libsel4utils/include/sel4utils/slab.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/stack.h b/libsel4utils/include/sel4utils/stack.h index b482875..079e85f 100644 --- a/libsel4utils/include/sel4utils/stack.h +++ b/libsel4utils/include/sel4utils/stack.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/strerror.h b/libsel4utils/include/sel4utils/strerror.h index 23eff52..6d5b06d 100644 --- a/libsel4utils/include/sel4utils/strerror.h +++ b/libsel4utils/include/sel4utils/strerror.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/thread.h b/libsel4utils/include/sel4utils/thread.h index 1d745b2..2c06d98 100644 --- a/libsel4utils/include/sel4utils/thread.h +++ b/libsel4utils/include/sel4utils/thread.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /**
diff --git a/libsel4utils/include/sel4utils/thread_config.h b/libsel4utils/include/sel4utils/thread_config.h index 7ea6e9e..aa7a96a 100644 --- a/libsel4utils/include/sel4utils/thread_config.h +++ b/libsel4utils/include/sel4utils/thread_config.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/time_server/client.h b/libsel4utils/include/sel4utils/time_server/client.h index ed69738..b62f351 100644 --- a/libsel4utils/include/sel4utils/time_server/client.h +++ b/libsel4utils/include/sel4utils/time_server/client.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/util.h b/libsel4utils/include/sel4utils/util.h index 96a0604..16367ac 100644 --- a/libsel4utils/include/sel4utils/util.h +++ b/libsel4utils/include/sel4utils/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/include/sel4utils/vspace.h b/libsel4utils/include/sel4utils/vspace.h index 4e4a1b0..db24831 100644 --- a/libsel4utils/include/sel4utils/vspace.h +++ b/libsel4utils/include/sel4utils/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /*
diff --git a/libsel4utils/include/sel4utils/vspace_internal.h b/libsel4utils/include/sel4utils/vspace_internal.h index 47c961f..5a3db58 100644 --- a/libsel4utils/include/sel4utils/vspace_internal.h +++ b/libsel4utils/include/sel4utils/vspace_internal.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h b/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h index aa71851..1fd01d7 100644 --- a/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h +++ b/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/cache.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h b/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h index c52971a..9db275f 100644 --- a/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h +++ b/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h b/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h index a9167e6..05b69b1 100644 --- a/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h +++ b/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h index a277f99..3b92bb2 100644 --- a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h +++ b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/cache.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h index 72c976a..6f77f3a 100644 --- a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h +++ b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h index f68d018..5190c9e 100644 --- a/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h +++ b/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h b/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h index cc4004f..b3a0487 100644 --- a/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h +++ b/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h b/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h index 1399802..334cbea 100644 --- a/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h +++ b/libsel4utils/sel4_arch_include/ia32/sel4utils/sel4_arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h b/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h index c02c437..78e8962 100644 --- a/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h +++ b/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h b/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h index 6136ccf..8f081ec 100644 --- a/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h +++ b/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4utils/src/arch/riscv/arch.c b/libsel4utils/src/arch/riscv/arch.c index 45303f4..ec66660 100644 --- a/libsel4utils/src/arch/riscv/arch.c +++ b/libsel4utils/src/arch/riscv/arch.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4utils/gen_config.h>
diff --git a/libsel4utils/src/elf.c b/libsel4utils/src/elf.c index eb0d93b..637585e 100644 --- a/libsel4utils/src/elf.c +++ b/libsel4utils/src/elf.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4utils/gen_config.h>
diff --git a/libsel4utils/src/iommu_dma.c b/libsel4utils/src/iommu_dma.c index 9282113..f88abef 100644 --- a/libsel4utils/src/iommu_dma.c +++ b/libsel4utils/src/iommu_dma.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4utils/src/irq_server/irq_server.c b/libsel4utils/src/irq_server/irq_server.c index 952cdcd..8364c0e 100644 --- a/libsel4utils/src/irq_server/irq_server.c +++ b/libsel4utils/src/irq_server/irq_server.c
@@ -1,13 +1,7 @@ /* - * Copyright 2019, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4utils/irq_server.h>
diff --git a/libsel4utils/src/mapping.c b/libsel4utils/src/mapping.c index 99b5059..31db2c5 100644 --- a/libsel4utils/src/mapping.c +++ b/libsel4utils/src/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4utils/src/page_dma.c b/libsel4utils/src/page_dma.c index f63ca47..40fafd4 100644 --- a/libsel4utils/src/page_dma.c +++ b/libsel4utils/src/page_dma.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4utils/src/process.c b/libsel4utils/src/process.c index 2ee9fd0..63a9277 100644 --- a/libsel4utils/src/process.c +++ b/libsel4utils/src/process.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4utils/gen_config.h>
diff --git a/libsel4utils/src/profile.c b/libsel4utils/src/profile.c index 5c62b61..bb4d389 100644 --- a/libsel4utils/src/profile.c +++ b/libsel4utils/src/profile.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4utils/profile.h>
diff --git a/libsel4utils/src/sel4_arch/aarch32/arch.c b/libsel4utils/src/sel4_arch/aarch32/arch.c index 46d1723..4f9af8c 100644 --- a/libsel4utils/src/sel4_arch/aarch32/arch.c +++ b/libsel4utils/src/sel4_arch/aarch32/arch.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4utils/gen_config.h>
diff --git a/libsel4utils/src/sel4_arch/aarch64/arch.c b/libsel4utils/src/sel4_arch/aarch64/arch.c index d0b950e..8c18c00 100644 --- a/libsel4utils/src/sel4_arch/aarch64/arch.c +++ b/libsel4utils/src/sel4_arch/aarch64/arch.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4utils/src/sel4_arch/ia32/arch.c b/libsel4utils/src/sel4_arch/ia32/arch.c index f086206..b4df325 100644 --- a/libsel4utils/src/sel4_arch/ia32/arch.c +++ b/libsel4utils/src/sel4_arch/ia32/arch.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4utils/gen_config.h>
diff --git a/libsel4utils/src/sel4_arch/x86_64/arch.c b/libsel4utils/src/sel4_arch/x86_64/arch.c index 8d1653a..f30caf8 100644 --- a/libsel4utils/src/sel4_arch/x86_64/arch.c +++ b/libsel4utils/src/sel4_arch/x86_64/arch.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h> #include <sel4utils/gen_config.h>
diff --git a/libsel4utils/src/slab.c b/libsel4utils/src/slab.c index bf242a2..ea530d0 100644 --- a/libsel4utils/src/slab.c +++ b/libsel4utils/src/slab.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4utils/slab.h>
diff --git a/libsel4utils/src/stack.c b/libsel4utils/src/stack.c index b50db33..4d6a6aa 100644 --- a/libsel4utils/src/stack.c +++ b/libsel4utils/src/stack.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <errno.h>
diff --git a/libsel4utils/src/strerror.c b/libsel4utils/src/strerror.c index 139b4dd..370e925 100644 --- a/libsel4utils/src/strerror.c +++ b/libsel4utils/src/strerror.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <stdio.h> /* For fprintf() */
diff --git a/libsel4utils/src/thread.c b/libsel4utils/src/thread.c index 0dc13ab..eecccca 100644 --- a/libsel4utils/src/thread.c +++ b/libsel4utils/src/thread.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4utils/src/time_server/client.c b/libsel4utils/src/time_server/client.c index bb11a3b..69ccfae 100644 --- a/libsel4utils/src/time_server/client.c +++ b/libsel4utils/src/time_server/client.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <sel4/sel4.h>
diff --git a/libsel4utils/src/vspace/bootstrap.c b/libsel4utils/src/vspace/bootstrap.c index ef81d41..07ef5ff 100644 --- a/libsel4utils/src/vspace/bootstrap.c +++ b/libsel4utils/src/vspace/bootstrap.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4utils/src/vspace/vspace.c b/libsel4utils/src/vspace/vspace.c index 63f15b4..dfccc14 100644 --- a/libsel4utils/src/vspace/vspace.c +++ b/libsel4utils/src/vspace/vspace.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ /* see sel4utils/vspace.h for details */
diff --git a/libsel4vka/CMakeLists.txt b/libsel4vka/CMakeLists.txt index 9f472a4..34536cd 100644 --- a/libsel4vka/CMakeLists.txt +++ b/libsel4vka/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4vka/LICENSE_BSD2.txt b/libsel4vka/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4vka/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4vka/arch_include/arm/vka/arch/kobject_t.h b/libsel4vka/arch_include/arm/vka/arch/kobject_t.h index 2dc4a50..e2b463f 100644 --- a/libsel4vka/arch_include/arm/vka/arch/kobject_t.h +++ b/libsel4vka/arch_include/arm/vka/arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/arch_include/arm/vka/arch/object.h b/libsel4vka/arch_include/arm/vka/arch/object.h index af1b432..152312f 100644 --- a/libsel4vka/arch_include/arm/vka/arch/object.h +++ b/libsel4vka/arch_include/arm/vka/arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h b/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h index 1be3976..5425932 100644 --- a/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h +++ b/libsel4vka/arch_include/riscv/vka/arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/arch_include/riscv/vka/arch/object.h b/libsel4vka/arch_include/riscv/vka/arch/object.h index 7cc61ef..4030561 100644 --- a/libsel4vka/arch_include/riscv/vka/arch/object.h +++ b/libsel4vka/arch_include/riscv/vka/arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/arch_include/x86/vka/arch/kobject_t.h b/libsel4vka/arch_include/x86/vka/arch/kobject_t.h index ee3f31e..63b649a 100644 --- a/libsel4vka/arch_include/x86/vka/arch/kobject_t.h +++ b/libsel4vka/arch_include/x86/vka/arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/arch_include/x86/vka/arch/object.h b/libsel4vka/arch_include/x86/vka/arch/object.h index 4a8801f..fb3f0ce 100644 --- a/libsel4vka/arch_include/x86/vka/arch/object.h +++ b/libsel4vka/arch_include/x86/vka/arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/capops.h b/libsel4vka/include/vka/capops.h index 42b1958..c146357 100644 --- a/libsel4vka/include/vka/capops.h +++ b/libsel4vka/include/vka/capops.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/cspacepath_t.h b/libsel4vka/include/vka/cspacepath_t.h index beebbb3..f095b19 100644 --- a/libsel4vka/include/vka/cspacepath_t.h +++ b/libsel4vka/include/vka/cspacepath_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/debug-vka.h b/libsel4vka/include/vka/debug-vka.h index 0146b83..46d0d47 100644 --- a/libsel4vka/include/vka/debug-vka.h +++ b/libsel4vka/include/vka/debug-vka.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/ipcbuffer.h b/libsel4vka/include/vka/ipcbuffer.h index 3156280..81d23b6 100644 --- a/libsel4vka/include/vka/ipcbuffer.h +++ b/libsel4vka/include/vka/ipcbuffer.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/kobject_t.h b/libsel4vka/include/vka/kobject_t.h index 370bc8d..5c1b5eb 100644 --- a/libsel4vka/include/vka/kobject_t.h +++ b/libsel4vka/include/vka/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/null-vka.h b/libsel4vka/include/vka/null-vka.h index 34a2f8a..71d1ef3 100644 --- a/libsel4vka/include/vka/null-vka.h +++ b/libsel4vka/include/vka/null-vka.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/object.h b/libsel4vka/include/vka/object.h index 5c948c8..3ac61d5 100644 --- a/libsel4vka/include/vka/object.h +++ b/libsel4vka/include/vka/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/object_capops.h b/libsel4vka/include/vka/object_capops.h index 3e1f668..9a9ac8a 100644 --- a/libsel4vka/include/vka/object_capops.h +++ b/libsel4vka/include/vka/object_capops.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/include/vka/vka.h b/libsel4vka/include/vka/vka.h index 7542489..651995e 100644 --- a/libsel4vka/include/vka/vka.h +++ b/libsel4vka/include/vka/vka.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h b/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h index 17b5d37..1533e7a 100644 --- a/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h +++ b/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h b/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h index 783722a..5ddcb7e 100644 --- a/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h +++ b/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h b/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h index 46aab67..08d811e 100644 --- a/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h +++ b/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h b/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h index 623db04..ba2647d 100644 --- a/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h +++ b/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h b/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h index 78b3894..02cc3a7 100644 --- a/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h +++ b/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h b/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h index 5de1950..96bfc5f 100644 --- a/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h +++ b/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h b/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h index 1d92939..1f0d68d 100644 --- a/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h +++ b/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/kobject_t.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h b/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h index 8cf9eae..36ef6c3 100644 --- a/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h +++ b/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vka/src/debug-vka.c b/libsel4vka/src/debug-vka.c index 4fda2d3..1953db2 100644 --- a/libsel4vka/src/debug-vka.c +++ b/libsel4vka/src/debug-vka.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <assert.h>
diff --git a/libsel4vka/src/null-vka.c b/libsel4vka/src/null-vka.c index 35bebc8..d46cdb7 100644 --- a/libsel4vka/src/null-vka.c +++ b/libsel4vka/src/null-vka.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <assert.h>
diff --git a/libsel4vspace/CMakeLists.txt b/libsel4vspace/CMakeLists.txt index 02dd4e4..7e24107 100644 --- a/libsel4vspace/CMakeLists.txt +++ b/libsel4vspace/CMakeLists.txt
@@ -1,13 +1,7 @@ # -# Copyright 2017, Data61 -# Commonwealth Scientific and Industrial Research Organisation (CSIRO) -# ABN 41 687 119 230. +# Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) # -# This software may be distributed and modified according to the terms of -# the BSD 2-Clause license. Note that NO WARRANTY is provided. -# See "LICENSE_BSD2.txt" for details. -# -# @TAG(DATA61_BSD) +# SPDX-License-Identifier: BSD-2-Clause # cmake_minimum_required(VERSION 3.7.2)
diff --git a/libsel4vspace/LICENSE_BSD2.txt b/libsel4vspace/LICENSE_BSD2.txt deleted file mode 100644 index 3c78ecf..0000000 --- a/libsel4vspace/LICENSE_BSD2.txt +++ /dev/null
@@ -1,30 +0,0 @@ -Files described as being under the "BSD 2-Clause" license fall under the -following license. - ------------------------------------------------------------------------ - -Copyright (c) 2017 Data61 and other contributors. -All rights reserved. - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions -are met: - -1. Redistributions of source code must retain the above copyright - notice, this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright - notice, this list of conditions and the following disclaimer in the - documentation and/or other materials provided with the distribution. - -THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND -ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE -FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL -DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS -OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) -HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT -LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY -OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF -SUCH DAMAGE.
diff --git a/libsel4vspace/arch_include/arm/vspace/arch/page.h b/libsel4vspace/arch_include/arm/vspace/arch/page.h index feb9ac8..396182b 100644 --- a/libsel4vspace/arch_include/arm/vspace/arch/page.h +++ b/libsel4vspace/arch_include/arm/vspace/arch/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vspace/arch_include/riscv/vspace/arch/page.h b/libsel4vspace/arch_include/riscv/vspace/arch/page.h index 376519c..ccf007d 100644 --- a/libsel4vspace/arch_include/riscv/vspace/arch/page.h +++ b/libsel4vspace/arch_include/riscv/vspace/arch/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vspace/arch_include/x86/vspace/arch/page.h b/libsel4vspace/arch_include/x86/vspace/arch/page.h index 095f7e6..153b2d2 100644 --- a/libsel4vspace/arch_include/x86/vspace/arch/page.h +++ b/libsel4vspace/arch_include/x86/vspace/arch/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vspace/include/vspace/mapping.h b/libsel4vspace/include/vspace/mapping.h index 428430e..5ce2e87 100644 --- a/libsel4vspace/include/vspace/mapping.h +++ b/libsel4vspace/include/vspace/mapping.h
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vspace/include/vspace/page.h b/libsel4vspace/include/vspace/page.h index c235711..bbca402 100644 --- a/libsel4vspace/include/vspace/page.h +++ b/libsel4vspace/include/vspace/page.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vspace/include/vspace/vspace.h b/libsel4vspace/include/vspace/vspace.h index 6f046f5..8a39dce 100644 --- a/libsel4vspace/include/vspace/vspace.h +++ b/libsel4vspace/include/vspace/vspace.h
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #pragma once
diff --git a/libsel4vspace/src/arch/arm/mapping.c b/libsel4vspace/src/arch/arm/mapping.c index c20567d..9460665 100644 --- a/libsel4vspace/src/arch/arm/mapping.c +++ b/libsel4vspace/src/arch/arm/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4vspace/src/arch/riscv/mapping.c b/libsel4vspace/src/arch/riscv/mapping.c index dea31da..e3ea786 100644 --- a/libsel4vspace/src/arch/riscv/mapping.c +++ b/libsel4vspace/src/arch/riscv/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <vspace/mapping.h>
diff --git a/libsel4vspace/src/arch/x86/mapping.c b/libsel4vspace/src/arch/x86/mapping.c index 7e6dc7a..f37acf9 100644 --- a/libsel4vspace/src/arch/x86/mapping.c +++ b/libsel4vspace/src/arch/x86/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>
diff --git a/libsel4vspace/src/sel4_arch/aarch32/mapping.c b/libsel4vspace/src/sel4_arch/aarch32/mapping.c index ea8d5e2..e429d45 100644 --- a/libsel4vspace/src/sel4_arch/aarch32/mapping.c +++ b/libsel4vspace/src/sel4_arch/aarch32/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <vspace/mapping.h>
diff --git a/libsel4vspace/src/sel4_arch/aarch64/mapping.c b/libsel4vspace/src/sel4_arch/aarch64/mapping.c index 49bf5eb..0e91f3e 100644 --- a/libsel4vspace/src/sel4_arch/aarch64/mapping.c +++ b/libsel4vspace/src/sel4_arch/aarch64/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <vspace/mapping.h>
diff --git a/libsel4vspace/src/sel4_arch/ia32/mapping.c b/libsel4vspace/src/sel4_arch/ia32/mapping.c index eea8b65..1337095 100644 --- a/libsel4vspace/src/sel4_arch/ia32/mapping.c +++ b/libsel4vspace/src/sel4_arch/ia32/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <vspace/mapping.h>
diff --git a/libsel4vspace/src/sel4_arch/x86_64/mapping.c b/libsel4vspace/src/sel4_arch/x86_64/mapping.c index b86edca..df2a87e 100644 --- a/libsel4vspace/src/sel4_arch/x86_64/mapping.c +++ b/libsel4vspace/src/sel4_arch/x86_64/mapping.c
@@ -1,13 +1,7 @@ /* - * Copyright 2018, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2018, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <vspace/mapping.h>
diff --git a/libsel4vspace/src/vspace.c b/libsel4vspace/src/vspace.c index 58a0998..a7596fb 100644 --- a/libsel4vspace/src/vspace.c +++ b/libsel4vspace/src/vspace.c
@@ -1,13 +1,7 @@ /* - * Copyright 2017, Data61 - * Commonwealth Scientific and Industrial Research Organisation (CSIRO) - * ABN 41 687 119 230. + * Copyright 2017, Data61, CSIRO (ABN 41 687 119 230) * - * This software may be distributed and modified according to the terms of - * the BSD 2-Clause license. Note that NO WARRANTY is provided. - * See "LICENSE_BSD2.txt" for details. - * - * @TAG(DATA61_BSD) + * SPDX-License-Identifier: BSD-2-Clause */ #include <autoconf.h>