From 3553b1a2f5333e494ae1f1dd94701e87b51a0916 Mon Sep 17 00:00:00 2001
From: Kees Jongenburger <kees.jongenburger@gmail.com>
Date: Mon, 26 May 2014 16:47:46 +0200
Subject: [PATCH] arm:also start devmand on ARM.

Change-Id: Iceffd21d23efa45110a42ce2ab471c15cd6edf66

http://gerrit.minix3.org/#/c/2688/
---
 etc/rc | 44 +++++++++++++++++++-------------------------
 1 file changed, 19 insertions(+), 25 deletions(-)

diff --git a/etc/rc b/etc/rc
index 58a5f48d6..dcff4d114 100755
--- a/etc/rc
+++ b/etc/rc
@@ -173,37 +173,31 @@ autoboot|start)
 	cp /usr/lib/em* /usr/lib/cpp* /lib
     esac
 
-    if [ $ARCH = i386 ]
-    then
-	echo -n "Starting hotplugging infrastructure... "
-	rm -f /var/run/devmand.pid
-	devmand -d /etc/devmand -d /usr/pkg/etc/devmand &
-	echo "done."
-    fi
+    echo -n "Starting hotplugging infrastructure... "
+    rm -f /var/run/devmand.pid
+    devmand -d /etc/devmand -d /usr/pkg/etc/devmand &
+    echo "done."
 
     # Things should be alright now.
     ;;
 down|stop)
     sync
-    if [ $ARCH = i386 ]
+    if [ -f /var/run/devmand.pid ]
     then
-	if [ -f /var/run/devmand.pid ]
-	then
-	    	kill -INT `cat /var/run/devmand.pid`
-		# without this delay the following will 
-        	# be printed in the console
-        	# RS: devman not running?
-        	sleep 1
-    	fi
-	#
-	# usbd needs to be stopped exactly 
-	# at this stage(before stopping devman
-	# and after stopping the services
-	# stated by devmand)
-	if [ -x /usr/pkg/etc/rc.d/usbd ]
-	then 
-    		/usr/pkg/etc/rc.d/usbd stop
-	fi
+	kill -INT `cat /var/run/devmand.pid`
+	# without this delay the following will 
+	# be printed in the console
+	# RS: devman not running?
+	sleep 1
+    fi
+    #
+    # usbd needs to be stopped exactly 
+    # at this stage(before stopping devman
+    # and after stopping the services
+    # stated by devmand)
+    if [ -x /usr/pkg/etc/rc.d/usbd ]
+    then 
+	/usr/pkg/etc/rc.d/usbd stop
     fi
 
     # Tell RS server we're going down.