From b2f818536a431458fd133d1b59507ed7e8d4bcee Mon Sep 17 00:00:00 2001
From: Taku Shimosawa <shimosawa@is.s.u-tokyo.ac.jp>
Date: Sat, 8 Oct 2011 19:24:37 +0900
Subject: [PATCH] some headers included

---
 kernel/setup.c | 2 ++
 1 file changed, 2 insertions(+)

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;