Index: uspace/lib/c/arch/ppc32/Makefile.common
===================================================================
--- uspace/lib/c/arch/ppc32/Makefile.common	(revision c1b979a5a2332e971f29013cd230bf1a1c6f35d4)
+++ uspace/lib/c/arch/ppc32/Makefile.common	(revision 0b811da2fba360e57108ff503269eeccc6eedf0b)
@@ -27,5 +27,12 @@
 #
 
-GCC_CFLAGS += -mcpu=powerpc -msoft-float -m32
+
+ifeq ($(CONFIG_FPU),y)
+FLOATS=hard
+else
+FLOATS=soft
+endif
+
+GCC_CFLAGS += -mcpu=powerpc -m$(FLOATS)-float -m32
 BASE_LIBS += $(LIBSOFTFLOAT_PREFIX)/libsoftfloat.a
 AFLAGS = -a32