Index: Makefile
===================================================================
--- Makefile	(revision 2d5a54f36916260c13bbe3019397b4fb1d573073)
+++ Makefile	(revision 23d22eb27cfdf57d63002f3401a0a522db3288b0)
@@ -69,4 +69,7 @@
 ifeq ($(CONFIG_DEBUG_SPINLOCK),y)
 	DEFS += -DCONFIG_DEBUG_SPINLOCK
+endif
+ifeq ($(CONFIG_DEBUG_AS_WATCHPOINT),y)
+	DEFS += -DCONFIG_DEBUG_AS_WATCHPOINT
 endif
 ifeq ($(CONFIG_FPU_LAZY),y)
@@ -136,5 +139,6 @@
 	generic/src/smp/ipi.c \
 	generic/src/ipc/ipc.c \
-	generic/src/ipc/sysipc.c
+	generic/src/ipc/sysipc.c \
+	generic/src/ipc/ipcrsc.c
 
 ## Test sources