Kees Jongenburger 3553b1a2f5 arm:also start devmand on ARM.
Change-Id: Iceffd21d23efa45110a42ce2ab471c15cd6edf66

http://gerrit.minix3.org/#/c/2688/
2014-07-28 17:05:38 +02:00
..
2014-07-28 17:05:22 +02:00
2014-07-28 17:05:12 +02:00
2007-04-02 16:18:46 +00:00
2014-03-01 09:05:02 +01:00
2011-11-14 14:47:42 +00:00
2005-04-21 14:53:53 +00:00
2014-07-28 17:05:20 +02:00
2011-11-14 14:47:28 +00:00
2014-07-28 17:05:16 +02:00
rc
2014-07-28 17:05:38 +02:00
2006-04-05 11:27:25 +00:00
2013-06-02 08:14:05 -04:00
2014-03-01 09:04:52 +01:00
2007-02-16 15:58:05 +00:00
2014-07-28 17:05:22 +02:00
2014-07-28 17:05:12 +02:00
2010-11-04 01:13:59 +00:00
2010-11-04 01:13:59 +00:00
2014-03-01 09:05:02 +01:00
2005-04-21 14:53:53 +00:00