diff --git a/.gitmodules b/.gitmodules
index 1dc9e38aa..22ed5d9c3 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -34,3 +34,6 @@
 [submodule "addins/riscvISACOV"]
 	path = addins/riscvISACOV
 	url = https://github.com/riscv-verification/riscvISACOV.git
+[submodule "addins/berkeley-softfloat-3"]
+	path = addins/berkeley-softfloat-3
+	url = https://github.com/ucb-bar/berkeley-softfloat-3.git
diff --git a/addins/berkeley-softfloat-3 b/addins/berkeley-softfloat-3
new file mode 160000
index 000000000..3b70b5d81
--- /dev/null
+++ b/addins/berkeley-softfloat-3
@@ -0,0 +1 @@
+Subproject commit 3b70b5d8147675932c38b36cd09af6df4eedd919