Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 4ccdcf6996a47d3c30ec7072330cc3ed9b6b7737)
+++ kernel/Makefile	(revision 6071a8f795d4bd0c92c2ca86cdda3afe37e0de79)
@@ -162,5 +162,4 @@
 	generic/src/ddi/device.c \
 	generic/src/debug/symtab.c \
-	generic/src/event/event.c \
 	generic/src/interrupt/interrupt.c \
 	generic/src/main/main.c \
@@ -215,4 +214,5 @@
 	generic/src/ipc/ipcrsc.c \
 	generic/src/ipc/irq.c \
+	generic/src/ipc/event.c \
 	generic/src/security/cap.c \
 	generic/src/sysinfo/sysinfo.c