diff --git a/kernel/setup.c b/kernel/setup.c
index 0a50aae1..ca656ef8 100644
--- a/kernel/setup.c
+++ b/kernel/setup.c
@@ -1,5 +1,7 @@
+#include <types.h>
 #include <kmsg.h>
 #include <aal/cpu.h>
+#include <aal/mm.h>
 #include <aal/debug.h>
 
 extern struct aal_kmsg_buf kmsg_buf;