diff --git a/arch/x86/tools/mcreboot.1in b/arch/x86/tools/mcreboot.1in
new file mode 100644
index 00000000..9cc91b19
--- /dev/null
+++ b/arch/x86/tools/mcreboot.1in
@@ -0,0 +1,36 @@
+.\" Man page for McKernel
+.\"   mcreboot
+.\"
+.\" Copyright (C) 2013 The University of Tokyo, Japan
+.\"	Written by Yutaka Ishikawa <ishikawa@is.s.u-tokyo.ac.jp>
+.\"
+.TH MCREBOOT 1 "@MCKERNEL_RELEASEDATE@" "Version @MCKERNEL_VERSION@" MCKERNEL @MCKERNEL_VERSION@"
+.SH NAME
+mcreboot \- a script to boot/reboot the McKernel environment
+.\"
+
+.\" ----------------------------  SYNOPSIS ----------------------------
+.SH SYNOPSIS
+mcreboot
+
+.BR
+.\" ----------------------------  DESCRIPTION ----------------------------
+.SH DESCRIPTION
+The mcreboot command, executed by the root privileged mode, shutdowns
+the MPSS environment if it is running, and then initializes the
+McKernel environment.
+
+.\" ----------------------------  FILES ----------------------------
+.SH FILES
+.LP
+.I mcctrl, 
+.I ihk_mic, 
+.I ihk
+
+.\" ----------------------------  SEE ALSO ----------------------------
+.SH SEE ALSO
+ihkosctl (1)
+
+.\" ----------------------------  AUTHORS ----------------------------
+.SH AUTHORS
+Copyright (C) 2013 McKernel Development Team, The University of Tokyo, Japan