Index: Makefile
===================================================================
--- Makefile	(revision 940cac011cf6ffb6eddd151d11d9cd5e5e06a105)
+++ Makefile	(revision 944b15c87974bab5195a7e1ff5a452c690c0d017)
@@ -72,4 +72,7 @@
 ifeq ($(CONFIG_USERSPACE),y)
 	DEFS += -DCONFIG_USERSPACE
+endif
+ifeq ($(CONFIG_FPU_LAZY),y)
+	DEFS += -DCONFIG_FPU_LAZY
 endif