Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision eec616bc34e4233a5e002814ad0f802ef63af58d)
+++ kernel/generic/src/syscall/syscall.c	(revision a1d89adda9a437fbce84276519b5bcb94321f87d)
@@ -49,5 +49,5 @@
 #include <synch/smc.h>
 #include <ddi/ddi.h>
-#include <event/event.h>
+#include <ipc/event.h>
 #include <security/cap.h>
 #include <sysinfo/sysinfo.h>