Index: Makefile
===================================================================
--- Makefile	(revision de6b301a63efb6d81e9db05625bc3438102b9842)
+++ Makefile	(revision 45d6adde55643185b15a7b3933e371a72a6769d8)
@@ -45,5 +45,5 @@
 #
 
-DEFS = -D$(ARCH) -DARCH=\"$(ARCH)\" -DRELEASE=\"$(RELEASE)\" "-DNAME=\"$(NAME)\""
+DEFS = -D$(ARCH) -DARCH=\"$(ARCH)\" -DRELEASE=\"$(RELEASE)\" "-DNAME=\"$(NAME)\"" -DKERNEL
 CFLAGS = -fno-builtin -fomit-frame-pointer -Wall -Werror-implicit-function-declaration -Wmissing-prototypes -Werror -O3 -nostdlib -nostdinc -Igeneric/include/ 
 LFLAGS = -M
@@ -134,5 +134,6 @@
 	generic/src/synch/semaphore.c \
 	generic/src/synch/waitq.c \
-	generic/src/smp/ipi.c
+	generic/src/smp/ipi.c \
+	generic/src/ipc/ipc.c
 
 ## Test sources