diff --git a/os/src/drivers/timer/include/timer_root.h b/os/src/drivers/timer/include/timer_root.h
index b10c416c7d..29f5f0fb8f 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)) {