From 29a98ea4f127f921b0b4abf800311fde325d06a7 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 11 May 2018 18:40:35 +0100
Subject: Fix some links and be more clear about licensing

---
 LICENCE | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'LICENCE')

diff --git a/LICENCE b/LICENCE
index 451ce6c3..c3aa62aa 100644
--- a/LICENCE
+++ b/LICENCE
@@ -1,12 +1,16 @@
    Sail
 
 Sail and the Sail architecture models here, comprising all files and
-directories except the PPrint library, are subject to the BSD
-two-clause licence below.
+directories except the PPrint library, and ASL-derived Sail code in
+the aarch64 directory, are subject to the BSD two-clause licence
+below.
 
 The PPrint library, in src/pprint, is subject to the CeCILL-C free
 software licence agreement therein.
 
+The ASL derived parts of the ARMv8.3 specification in
+aarch64/no_vector and aarch64/full are copyright ARM Ltd.
+
 Copyright (c) 2013-2018
   Kathyrn Gray
   Shaked Flur
-- 
cgit v1.2.3