Index: Makefile
===================================================================
--- Makefile	(revision 13fded3cce867db5468e1ff56db5579e305d2120)
+++ Makefile	(revision 44c259cc74a29b15244ce6391ae9af39150bfd6c)
@@ -69,7 +69,4 @@
 ifeq ($(CONFIG_DEBUG_SPINLOCK),y)
 	DEFS += -DCONFIG_DEBUG_SPINLOCK
-endif
-ifeq ($(CONFIG_USERSPACE),y)
-	DEFS += -DCONFIG_USERSPACE
 endif
 ifeq ($(CONFIG_FPU_LAZY),y)