ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-19 13:47:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Adjust run scripts for loss of ROM filename argument

Browse Source 
Issue #1787
This commit is contained in:
Emery Hemingway 2016-07-07 01:54:27 +02:00 committed by Norman Feske
parent 2b8c1af9e0
commit d0e7cc35fa
2 changed files with 5 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/os/run/dynamic_config.run
View File

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

12
repos/ports/run/seoul.inc
View File

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