From 022e762a4029a2ccc15d602f0b622f6239e68e84 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Thu, 21 Mar 2013 15:49:27 +0100
Subject: [PATCH] timer: Remove debug message

---
 os/src/drivers/timer/include/timer_root.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/os/src/drivers/timer/include/timer_root.h b/os/src/drivers/timer/include/timer_root.h
index b10c416c7..29f5f0fb8 100644
--- a/os/src/drivers/timer/include/timer_root.h
+++ b/os/src/drivers/timer/include/timer_root.h
@@ -36,7 +36,6 @@ namespace Timer {
 
 			Session_component *_create_session(const char *args)
 			{
-				PLOG("args='%s'", args);
 				Genode::size_t ram_quota = Genode::Arg_string::find_arg(args, "ram_quota").ulong_value(0);
 
 				if (ram_quota < sizeof(Session_component)) {