Index: src/Makefile
===================================================================
--- src/Makefile	(revision 26a8604ffcf3def1cb5904b8685f2247210e04fc)
+++ src/Makefile	(revision 2a0047fcb720d09f996a192519ef268a7c44731a)
@@ -30,4 +30,8 @@
 ifdef DEBUG_SPINLOCK
 CFLAGS+=-D$(DEBUG_SPINLOCK)
+endif
+
+ifdef USERSPACE
+CFLAGS+=-D$(USERSPACE)
 endif