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