diff --git a/kernel/main.c b/kernel/main.c
index 87ec3523a..6a8f42430 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -21,6 +21,7 @@
 #include <minix/u64.h>
 #include <minix/type.h>
 #include "clock.h"
+#include "direct_utils.h"
 #include "hw_intr.h"
 #include "arch_proto.h"