From ee572e2f8e8b8031a7fea0e2b003ca145c170f58 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 14 May 2013 22:39:38 +0200
Subject: [PATCH] Add missing session route to printf.run

---
 base/run/printf.run | 1 +
 1 file changed, 1 insertion(+)

diff --git a/base/run/printf.run b/base/run/printf.run
index 68d832cec3..032d3f2a66 100644
--- a/base/run/printf.run
+++ b/base/run/printf.run
@@ -6,6 +6,7 @@ install_config {
 	<config>
 		<parent-provides>
 			<service name="LOG"/>
+			<service name="RM"/>
 		</parent-provides>
 		<default-route>
 			<any-service> <parent/> </any-service>