diff --git a/.gitmodules b/.gitmodules
index b900a481..f7f2532d 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "chisel"]
 	path = chisel
 	url = git@github.com:ucb-bar/chisel.git
+[submodule "hardfloat"]
+	path = hardfloat
+	url = git@github.com:ucb-bar/berkeley-hardfloat.git
diff --git a/hardfloat b/hardfloat
new file mode 160000
index 00000000..9c2e1605
--- /dev/null
+++ b/hardfloat
@@ -0,0 +1 @@
+Subproject commit 9c2e1605e6e49e66c75cf4c4a2de0daa3aa7c2c4