diff --git a/src/kernel/core/syscalls.c b/src/kernel/core/syscalls.c
index b5d22cd2ed..9bfa2d6fb4 100644
--- a/src/kernel/core/syscalls.c
+++ b/src/kernel/core/syscalls.c
@@ -33,6 +33,7 @@
 #include <user_atomic.h>
 #include <safemode.h>
 #include <arch/system_info.h>
+#include <messaging.h>
 
 #include <malloc.h>
 #include <string.h>