1 files changed, 12 insertions, 0 deletions
diff --git a/README.md b/README.md
index 91a0ba3..4a29a29 100644
--- a/README.md
+++ b/README.md
@@ -143,3 +143,15 @@ Booting OS images
 
 For booting operating system images, see the information under the
 [os-boot/](os-boot/) subdirectory.
+
+## Funding
+
+This software was developed by SRI International and the University of
+Cambridge Computer Laboratory (Department of Computer Science and
+Technology) under DARPA/AFRL contract FA8650-18-C-7809 ("CIFV"), and
+under DARPA contract HR0011-18-C-0016 ("ECATS") as part of the DARPA
+SSITH research programme.
+
+This software was developed within the Rigorous Engineering of
+Mainstream Systems (REMS) project, partly funded by EPSRC grant
+EP/K008528/1, at the Universities of Cambridge and Edinburgh.