From e6b72030d3cbc672c0dea5b92aa1fb7a311243b4 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 27 Jul 2012 17:00:44 +0200
Subject: [PATCH] Simplify run scripts

---
 base/run/printf.run          | 7 -------
 hello_tutorial/run/hello.run | 5 -----
 2 files changed, 12 deletions(-)

diff --git a/base/run/printf.run b/base/run/printf.run
index b015bc494..68d832cec 100644
--- a/base/run/printf.run
+++ b/base/run/printf.run
@@ -5,13 +5,6 @@ create_boot_directory
 install_config {
 	<config>
 		<parent-provides>
-			<service name="ROM"/>
-			<service name="RAM"/>
-			<service name="CPU"/>
-			<service name="RM"/>
-			<service name="CAP"/>
-			<service name="PD"/>
-			<service name="SIGNAL"/>
 			<service name="LOG"/>
 		</parent-provides>
 		<default-route>
diff --git a/hello_tutorial/run/hello.run b/hello_tutorial/run/hello.run
index b3db48a16..075bceb52 100644
--- a/hello_tutorial/run/hello.run
+++ b/hello_tutorial/run/hello.run
@@ -13,13 +13,8 @@ create_boot_directory
 install_config {
 <config>
 	<parent-provides>
-		<service name="ROM"/>
-		<service name="RAM"/>
 		<service name="CAP"/>
 		<service name="LOG"/>
-		<service name="RM"/>
-		<service name="IO_PORT"/>
-		<service name="IRQ"/>
 	</parent-provides>
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>