I tried to run d code including timer service its not working It says Hello_client no route to service "timer" -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.genode.org/pipermail/users/attachments/20130617/0764da78/attachment.html>