Index: Makefile
===================================================================
--- Makefile	(revision 13fded3cce867db5468e1ff56db5579e305d2120)
+++ Makefile	(revision 5d2ab231a2e6c513f459e864da1c59750cce6db7)
@@ -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)