From 16e6f4b784e88e89d7fc2803861d5ac3dfb716fd Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 11 Jan 2013 21:21:35 +0100
Subject: [PATCH] Remove debug message

---
 os/include/init/child.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/os/include/init/child.h b/os/include/init/child.h
index 459f4008e5..36e6c99299 100644
--- a/os/include/init/child.h
+++ b/os/include/init/child.h
@@ -149,8 +149,6 @@ namespace Init {
 			char arg_value[VALUE_MAX_LEN];
 			Genode::Arg_string::find_arg(args, key).string(arg_value, sizeof(arg_value), "");
 
-			PDBG("key='%s' value='%s' arg_value='%s'", key, value, arg_value);
-
 			/*
 			 * Skip child-name prefix if the key is the process "label".
 			 *