From 8f69a047359fd91dee0856b6491b278d154ec9f3 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 3 Oct 2015 10:54:21 +0200
Subject: [PATCH] remove some obsolete debug messages

---
 hermit/arch/x86/kernel/tasks.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hermit/arch/x86/kernel/tasks.c b/hermit/arch/x86/kernel/tasks.c
index 6029939b8..0108a7c33 100644
--- a/hermit/arch/x86/kernel/tasks.c
+++ b/hermit/arch/x86/kernel/tasks.c
@@ -646,7 +646,7 @@ int create_user_task_form_socket(tid_t* id, int sd, uint8_t prio)
 	ret = read(sd, &len, sizeof(int));
 	if ((ret != sizeof(int)) || (len <= 0))
 		goto out;
-	kprintf("length of the executable: %d\n", len);
+	//kprintf("length of the executable: %d\n", len);
 
 	load_args->executable = kmalloc(len);
 	if (!load_args->executable) {