diff --git a/.gitmodules b/.gitmodules
index d0ff1bc..32bf485 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -10,6 +10,3 @@
 [submodule "libs/cheri-cap-lib"]
 	path = libs/cheri-cap-lib
 	url = https://github.com/CTSRD-CHERI/cheri-cap-lib.git
-[submodule "libs/BSV-RVFI-DII"]
-	path = libs/BSV-RVFI-DII
-	url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
diff --git a/libs/BSV-RVFI-DII b/libs/BSV-RVFI-DII
deleted file mode 160000
index 1f702a8..0000000
--- a/libs/BSV-RVFI-DII
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 1f702a8b5b719cc48234c2245b3820e4caa31a20