From c192577b589ca1f1b5fc7120f443646bfd3c9594 Mon Sep 17 00:00:00 2001
From: Dirk Vogt <dirk@minix3.org>
Date: Wed, 23 Feb 2011 14:50:31 +0000
Subject: [PATCH] forgot to add devman to system.conf

---
 etc/system.conf | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/etc/system.conf b/etc/system.conf
index d7a1a405b..466315d58 100644
--- a/etc/system.conf
+++ b/etc/system.conf
@@ -645,3 +645,12 @@ service hello
     uid 0;
 };
 
+
+service devman
+{
+	uid 0;
+};
+
+
+
+