From 571904535ea2b74e305c5a63a42956e6372d0dc2 Mon Sep 17 00:00:00 2001
From: Jonathan Woodruff <jdw57@cam.ac.uk>
Date: Thu, 7 Nov 2019 16:11:54 +0000
Subject: [PATCH] Add RVFI_DII BSV interface subrepo.

---
 .gitmodules               | 3 +++
 src_Verifier/BSV-RVFI-DII | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 .gitmodules
 create mode 160000 src_Verifier/BSV-RVFI-DII

diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..13be159
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "src_Verifier/BSV-RVFI-DII"]
+	path = src_Verifier/BSV-RVFI-DII
+	url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
diff --git a/src_Verifier/BSV-RVFI-DII b/src_Verifier/BSV-RVFI-DII
new file mode 160000
index 0000000..2383117
--- /dev/null
+++ b/src_Verifier/BSV-RVFI-DII
@@ -0,0 +1 @@
+Subproject commit 2383117b4be81fdae4734d7b7d42d090dfa9fbe1