diff --git a/kernel/include/page.h b/kernel/include/page.h
index 1a7b78f9..b5ff5fce 100644
--- a/kernel/include/page.h
+++ b/kernel/include/page.h
@@ -1,3 +1,15 @@
+/**
+ * \file page.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Structures and functions of memory page
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
+
 #ifndef __HEADER_PAGE_H
 #define __HEADER_PAGE_H
 
diff --git a/kernel/include/process.h b/kernel/include/process.h
index 7b1b8c17..b15447de 100644
--- a/kernel/include/process.h
+++ b/kernel/include/process.h
@@ -1,3 +1,15 @@
+/**
+ * \file process.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Structures of process and virtual memory management
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
+
 #ifndef HEADER_PROCESS_H
 #define HEADER_PROCESS_H
 
diff --git a/kernel/include/rlimit.h b/kernel/include/rlimit.h
index 0631b914..9ce009ee 100644
--- a/kernel/include/rlimit.h
+++ b/kernel/include/rlimit.h
@@ -1,3 +1,14 @@
+/**
+ * \file rlimit.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Kinds of resource limit
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
 
 #ifndef __RLIMIT_H
 #define __RLIMIT_H
diff --git a/kernel/include/syscall.h b/kernel/include/syscall.h
index 1907287d..7173aa72 100644
--- a/kernel/include/syscall.h
+++ b/kernel/include/syscall.h
@@ -1,3 +1,15 @@
+/**
+ * \file syscall.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Structures and macros for system call on McKernel
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
+
 #ifndef __HEADER_SYSCALL_H
 #define __HEADER_SYSCALL_H
 
diff --git a/kernel/include/time.h b/kernel/include/time.h
index c009e112..b09e3f67 100644
--- a/kernel/include/time.h
+++ b/kernel/include/time.h
@@ -1,3 +1,15 @@
+/**
+ * \file time.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Format of time variables
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
+
 /* 
  * time.h:
  *
diff --git a/kernel/include/timer.h b/kernel/include/timer.h
index b4c1984f..86e9c719 100644
--- a/kernel/include/timer.h
+++ b/kernel/include/timer.h
@@ -1,3 +1,15 @@
+/**
+ * \file timer.h
+ *  License details are found in the file LICENSE.
+ * \brief
+ *  Structure and functions of timer
+ * \author Taku Shimosawa  <shimosawa@is.s.u-tokyo.ac.jp> \par
+ * Copyright (C) 2011 - 2012  Taku Shimosawa
+ */
+/*
+ * HISTORY
+ */
+
 #include <types.h>
 #include <kmsg.h>
 #include <ihk/cpu.h>