Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision 516e7808c5e1e23b10a77bb1429054a16f6fedc3)
+++ boot/Makefile.common	(revision ffa73c60dc2eba8ce632c52a0be8bbf4ecd562d9)
@@ -151,7 +151,5 @@
 ifeq ($(CONFIG_DEVEL_FILES), y)
 	RD_LIBS += \
-		$(USPACE_PATH)/lib/c/libc.a \
-		$(USPACE_PATH)/lib/softint/libsoftint.a \
-		$(USPACE_PATH)/lib/softfloat/libsoftfloat.a
+		$(USPACE_PATH)/lib/c/libc.a
 endif
 
@@ -159,5 +157,4 @@
 	RD_LIBS += \
 		$(USPACE_PATH)/lib/c/libc.so.0 \
-		$(USPACE_PATH)/lib/softint/libsoftint.so.0 \
 		$(USPACE_PATH)/lib/math/libmath.so.0 \
 		$(USPACE_PATH)/lib/dltest/libdltest.so.0