Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 711a38b37af771adb8914e35f8d91da5b5d2ef07)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision 123be4f2eff2e4dc405825b94c8fcf712ee17994)
@@ -28,6 +28,11 @@
 #
 
+GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR))
+
+ifeq ($(CONFIG_FPU),y)
+GCC_CFLAGS += -mfloat-abi=hard
+else
 BASE_LIBS += $(LIBSOFTFLOAT_PREFIX)/libsoftfloat.a
-GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR))
+endif
 
 ENDIANESS = LE