From dc9f282d584174da043234bc590c24475925d32a Mon Sep 17 00:00:00 2001
From: "Yutaka Ishikawa ishikawa@is.s.u-tokyo.ac.jp"
 <ishikawa@kncc-login1.(none)>
Date: Tue, 19 Nov 2013 06:08:43 +0900
Subject: [PATCH] 	adding the mcshutdown command

---
 Makefile.in                                  |  1 +
 arch/x86/tools/mcshutdown-attached-mic.sh.in | 16 ++++++++++++++++
 configure                                    |  3 ++-
 configure.ac                                 |  1 +
 4 files changed, 20 insertions(+), 1 deletion(-)
 create mode 100644 arch/x86/tools/mcshutdown-attached-mic.sh.in

diff --git a/Makefile.in b/Makefile.in
index 0a2cb1ff..69427ff5 100755
--- a/Makefile.in
+++ b/Makefile.in
@@ -29,6 +29,7 @@ install::
 	if [ "$(TARGET)" = attached-mic ]; then \
 		mkdir -p -m 755 $(SBINDIR); \
 		install -m 755 arch/x86/tools/mcreboot-attached-mic.sh $(SBINDIR)/mcreboot; \
+		install -m 755 arch/x86/tools/mcshutdown-attached-mic.sh $(SBINDIR)/mcshutdown; \
 	fi
 
 clean::
diff --git a/arch/x86/tools/mcshutdown-attached-mic.sh.in b/arch/x86/tools/mcshutdown-attached-mic.sh.in
new file mode 100644
index 00000000..10957d64
--- /dev/null
+++ b/arch/x86/tools/mcshutdown-attached-mic.sh.in
@@ -0,0 +1,16 @@
+#!/bin/bash
+# \file arch/x86/tools/mcshutdown-attached-mic.sh.in
+#  License details are found in the file LICENSE.
+# \brief
+#  mckernel shutdown script
+#
+# \author McKernel Development Team
+#
+
+prefix="@prefix@"
+BINDIR="@BINDIR@"
+SBINDIR="@SBINDIR@"
+KMODDIR="@KMODDIR@"
+KERNDIR="@KERNDIR@"
+
+"$SBINDIR/ihkosctl" 0 shutdown
diff --git a/configure b/configure
index a4ea79a3..dff10754 100755
--- a/configure
+++ b/configure
@@ -3247,7 +3247,7 @@ TARGET="$WITH_TARGET"
 
 
 
-ac_config_files="$ac_config_files Makefile executer/user/Makefile executer/kernel/Makefile kernel/Makefile arch/x86/tools/mcreboot-attached-mic.sh mcreboot.1:mcreboot.1in"
+ac_config_files="$ac_config_files Makefile executer/user/Makefile executer/kernel/Makefile kernel/Makefile arch/x86/tools/mcreboot-attached-mic.sh arch/x86/tools/mcshutdown-attached-mic.sh mcreboot.1:mcreboot.1in"
 
 
 if test "x$enable_dcfa" = xyes; then :
@@ -3966,6 +3966,7 @@ do
     "executer/kernel/Makefile") CONFIG_FILES="$CONFIG_FILES executer/kernel/Makefile" ;;
     "kernel/Makefile") CONFIG_FILES="$CONFIG_FILES kernel/Makefile" ;;
     "arch/x86/tools/mcreboot-attached-mic.sh") CONFIG_FILES="$CONFIG_FILES arch/x86/tools/mcreboot-attached-mic.sh" ;;
+    "arch/x86/tools/mcshutdown-attached-mic.sh") CONFIG_FILES="$CONFIG_FILES arch/x86/tools/mcshutdown-attached-mic.sh" ;;
     "mcreboot.1") CONFIG_FILES="$CONFIG_FILES mcreboot.1:mcreboot.1in" ;;
     "kernel/Makefile.dcfa") CONFIG_FILES="$CONFIG_FILES kernel/Makefile.dcfa" ;;
 
diff --git a/configure.ac b/configure.ac
index f16be5c3..f8828a10 100644
--- a/configure.ac
+++ b/configure.ac
@@ -133,6 +133,7 @@ AC_CONFIG_FILES([
 	executer/kernel/Makefile
 	kernel/Makefile
 	arch/x86/tools/mcreboot-attached-mic.sh
+	arch/x86/tools/mcshutdown-attached-mic.sh
 	mcreboot.1:mcreboot.1in
 ])