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". *