diff --git a/src/kernel/core/main.c b/src/kernel/core/main.c
index 54c1d31904..dbeecfc446 100644
--- a/src/kernel/core/main.c
+++ b/src/kernel/core/main.c
@@ -35,6 +35,7 @@
 #include <kdevice_manager.h>
 #include <real_time_clock.h>
 #include <kernel_daemon.h>
+#include <messaging.h>
 
 #include <string.h>
 
@@ -193,6 +194,10 @@ main2(void *unused)
 		vm_free_kernel_args(&ka);
 	}
 
+	// init the messaging service
+	TRACE(("Init Messaging Service\n"));
+	init_messaging_service();
+
 	/* bootstrap all the filesystems */
 	TRACE(("Bootstrap file systems\n"));
 	vfs_bootstrap_file_systems();