denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

timer: Remove debug message

Browse Source
This commit is contained in:
Norman Feske
2013-03-21 15:49:27 +01:00
parent e38983a8fa
commit 022e762a40
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
os/src/drivers/timer/include/timer_root.h
View File

@@ -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)) {