From 76e52aa473c055ffb355f68dee5e42fdbd93707a Mon Sep 17 00:00:00 2001
From: Steffen Vogel <steffen.vogel@rwth-aachen.de>
Date: Wed, 20 Nov 2013 12:06:53 +0100
Subject: [PATCH] time is precious...

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

diff --git a/kernel/main.c b/kernel/main.c
index c0104837..2a511343 100644
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -103,7 +103,7 @@ int main(void)
 	disable_timer_irq();
 #endif
 
-	sleep(5);
+	sleep(2);
 	create_kernel_task(&id, initd, NULL, NORMAL_PRIO);
 	kprintf("Create initd with id %u\n", id);
 	reschedule();