diff --git a/.licenseignore b/.licenseignore
index 6cc92da82..d9fde9e94 100644
--- a/.licenseignore
+++ b/.licenseignore
@@ -13,3 +13,4 @@ manual/references.bib
 .git/*
 *parsetab.py
 CHANGES
+.reuse/dep5
diff --git a/.reuse/dep5 b/.reuse/dep5
new file mode 100644
index 000000000..9fe09c1f6
--- /dev/null
+++ b/.reuse/dep5
@@ -0,0 +1,20 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: seL4
+Upstream-Contact: seL4 team <support@sel4.systems>
+Source: http://sel4.systems
+
+Files:
+  CHANGES
+  VERSION
+  manual/VERSION
+  manual/references.bib
+Copyright: 2020 Data61, CSIRO (ABN 41 687 119 230)
+License: CC-BY-SA-4.0
+
+Files: manual/export.bst
+Copyright: 2005/02/27 Nicolas Markey <markey at lsv dot ens-cachan dot fr>
+License: LPPL-1.3c
+
+Files: manual/figs/*
+Copyright: Copyright 2014, General Dynamics C4 Systems
+License: GPL-2.0-only