Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 415d272c2410b6829f7665da39831ac552d8305e)
+++ kernel/generic/src/main/main.c	(revision 8be693bd3b2be89643a83f1cb8f433a701b8b269)
@@ -33,5 +33,5 @@
 /**
  * @file
- * @brief 	Main initialization kernel function for all processors.
+ * @brief Main initialization kernel function for all processors.
  *
  * During kernel boot, all processors, after architecture dependent
@@ -83,5 +83,5 @@
 #include <ddi/ddi.h>
 #include <main/main.h>
-#include <event/event.h>
+#include <ipc/event.h>
 
 /** Global configuration structure. */