Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision 516e7808c5e1e23b10a77bb1429054a16f6fedc3)
+++ boot/Makefile.common	(revision 3cfe2b8dd986aa1b72746ca06ec25e4e5cb45284)
@@ -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