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