diff --git a/life/resolver/softfloat b/life/resolver/softfloat
new file mode 160000
index 0000000000..b64af41c32
--- /dev/null
+++ b/life/resolver/softfloat
@@ -0,0 +1 @@
+Subproject commit b64af41c3276f97f0e181920400ee056b9c88037