From 94fc627ccfb02f67db806b633ab674a34fe3f43a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carl-Benedikt=20Kr=C3=BCger?=
 <benedikt.krueger@rwth-aachen.de>
Date: Tue, 26 Jul 2011 14:28:32 +0200
Subject: [PATCH] shell test

---
 kernel/shell.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/shell.c b/kernel/shell.c
index cd5bdb8c..88917e7f 100644
--- a/kernel/shell.c
+++ b/kernel/shell.c
@@ -72,7 +72,7 @@ void shell_init(int srv_or_cli)
             sleep(1);
 
     }
-    sleep(3);
+    sleep(12);
     SHELLDEBUGPRINTF("I AM CORE NO. %d",srv_or_cli);
 
 }