From d0e7cc35fa7cadeb508ef45d0a999122a9fa29fc Mon Sep 17 00:00:00 2001
From: Emery Hemingway <emery@vfemail.net>
Date: Thu, 7 Jul 2016 01:54:27 +0200
Subject: [PATCH] Adjust run scripts for loss of ROM filename argument

Issue #1787
---
 repos/os/run/dynamic_config.run |  3 +--
 repos/ports/run/seoul.inc       | 12 ++++--------
 2 files changed, 5 insertions(+), 10 deletions(-)

diff --git a/repos/os/run/dynamic_config.run b/repos/os/run/dynamic_config.run
index 4c471ec754..1540915cba 100644
--- a/repos/os/run/dynamic_config.run
+++ b/repos/os/run/dynamic_config.run
@@ -29,8 +29,7 @@ install_config {
 			<resource name="RAM" quantum="1M"/>
 			<configfile name="config.dynamic" />
 			<route>
-				<service name="ROM">
-					<if-arg key="filename" value="config.dynamic" />
+				<service name="ROM" label="config.dynamic">
 					<child name="test-dynamic_config_server"/>
 				</service>
 				<any-service> <parent /> </any-service>
diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc
index 27b92a088d..26b7c7e3f3 100644
--- a/repos/ports/run/seoul.inc
+++ b/repos/ports/run/seoul.inc
@@ -258,14 +258,10 @@ append_if [expr $use_nic_session && !$use_nic_bridge] config {
 append_if $use_framebuffer config {
 			<service name="Framebuffer"><child name="fb_drv"/></service>}
 append_if $use_genode_iso config {
-			<service name="ROM">
-				<if-arg key="filename" value="vm_seoul.cfg"/>
-				<parent/>
-			</service>
-			<service name="ROM">
-				<if-arg key="filename" value="hypervisor_info_page"/>
-				<parent/>
-			</service>
+			<service name="ROM" label="vm_seoul.cfg">
+				<parent/> </service>
+			<service name="ROM" label="hypervisor_info_page">
+				<parent/> </service>
 			<service name="ROM"><child name="iso9660"/></service>}
 append config {
 			<service name="Rtc"><child name="rtc_drv"/></service>