denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

report_rom: fix warning message

Browse Source 
Fix #2036
This commit is contained in:
Christian Helmuth
2016-07-18 17:18:17 +02:00
parent 11c5bf28c9
commit e95d7a8fa2
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -33,8 +33,7 @@ install_config {
<start name="test-report_rom">
<resource name="RAM" quantum="2M"/>
<route>
<service name="ROM">
<if-arg key="label" value="brightness"/>
<service name="ROM" label="brightness">
<child name="report_rom"/>
</service>
<any-service> <parent/> <any-child/> </any-service>

2
repos/os/src/server/report_rom/rom_registry.h
View File

@@ -137,7 +137,7 @@ struct Rom::Registry : Registry_for_reader, Registry_for_writer, Genode::Noncopy
catch (Session_policy::No_policy_defined) { }
}
warning("no valid policy for ROM request \", rom_label.string(), \"");
warning("no valid policy for ROM request '", rom_label.string(), "'");
throw Root::Invalid_args();
}