From b0816d2df367039cd245f0e857f1765386b11227 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Tue, 3 Mar 2020 16:58:43 +0800
Subject: [PATCH] Release docs owned by Data61 under CC-BY-SA-4.0

CC-BY-SA-4.0 is a more appropriate license for documentation than BSD
or GPL.
---
 CHANGES         | 2 ++
 CONTRIBUTING.md | 2 +-
 CONTRIBUTORS.md | 6 ++++++
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 0fb7ea961..48d50dc68 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,5 @@
+<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
+
 # Revision History for seL4
 
 <!--
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 937c357d1..cfe6bfcd1 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,7 +1,7 @@
 <!--
      Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
 
-     SPDX-License-Identifier: GPL-2.0-only
+     SPDX-License-Identifier: CC-BY-SA-4.0
 -->
 
 Contributions to the seL4 kernel repository are welcome!
diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md
index 468b8a0e2..3fd84e458 100644
--- a/CONTRIBUTORS.md
+++ b/CONTRIBUTORS.md
@@ -1,3 +1,9 @@
+<!--
+     Copyright 2020 Data61, CSIRO (ABN 41 687 119 230)
+
+     SPDX-License-Identifier: CC-BY-SA-4.0
+-->
+
 Contributors
 ------------