summaryrefslogtreecommitdiff
path: root/LICENCE
diff options
context:
space:
mode:
authorThomas Bauereiss2020-01-28 16:45:51 +0000
committerThomas Bauereiss2020-01-28 18:20:01 +0000
commit6631de4f641607755ae8c0434921e4f68cf9f2f6 (patch)
tree831b25b3e46c29b8ca87be7d25bab8b5fdd2ae16 /LICENCE
parentb564a217416afc8df471d3e97cff8168efd804b1 (diff)
Use external PPrint
Diffstat (limited to 'LICENCE')
-rw-r--r--LICENCE8
1 files changed, 2 insertions, 6 deletions
diff --git a/LICENCE b/LICENCE
index 65756fac..63a2e611 100644
--- a/LICENCE
+++ b/LICENCE
@@ -1,12 +1,8 @@
Sail
Sail and the Sail architecture models here, comprising all files and
-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.
+directories except the ASL-derived Sail code in the aarch64 directory,
+are subject to the BSD two-clause licence below.
The ASL derived parts of the ARMv8.3 specification in
aarch64/no_vector and aarch64/full are copyright ARM Ltd.