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