summaryrefslogtreecommitdiff
path: root/LICENCE
diff options
context:
space:
mode:
Diffstat (limited to 'LICENCE')
-rw-r--r--LICENCE8
1 files changed, 6 insertions, 2 deletions
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