Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 18ad03f31875a03f728a03f6cf3d0f238688fb57)
+++ kernel/Makefile	(revision 1a1744ec1103a45c20bd4031d645eaf84be2bb5f)
@@ -394,4 +394,14 @@
 	$(AS) $(AFLAGS) $< -o $@
 
+#
+# The FPU tests are the only objects for which we allow the compiler to generate
+# FPU instructions.
+#
+test/fpu/%.o: test/fpu/%.c
+	$(CC) $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) -c $< -o $@
+
+#
+# Ordinary objects.
+#
 %.o: %.c
-	$(CC) $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) -c $< -o $@
+	$(CC) $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) $(FPU_NO_CFLAGS) -c $< -o $@