Index: uspace/lib/softfloat/softfloat.c
===================================================================
--- uspace/lib/softfloat/softfloat.c	(revision 67ddb71c3646dd5015e24c60914c0c032f02672f)
+++ uspace/lib/softfloat/softfloat.c	(revision 0e183dd9fab1317745c3e4240ae7febea5010586)
@@ -1371,4 +1371,10 @@
 }
 
+int __aeabi_dcmple(double a, double b)
+{
+	return __ledf2(a, b);
+}
+
+
 int __aeabi_dcmpeq(double a, double b)
 {