init: use binary name as ROM label

Init used to specify the unique child name as session label when
requesting the binary image of a dynamically linked child. The actual
module name was propagated as "filename" session argument. Since we want
to move towards the sole use of the session label, which can be taken
into account for the session routing, the module name should always be
the last part of a ROM session label.
This commit is contained in:
Norman Feske 2015-07-01 21:09:27 +02:00 committed by Christian Helmuth
parent 785cac7168
commit 3c0517fe1f

View File

@ -541,7 +541,7 @@ class Init::Child : Genode::Child_policy
_resources(start_node, _name.unique, prio_levels_log2,
affinity_space, &_pd_args),
_entrypoint(cap_session, ENTRYPOINT_STACK_SIZE, _name.unique, false, _resources.affinity.location()),
_binary_rom(_name.file, _name.unique),
_binary_rom(_name.file, _name.file),
_binary_rom_ds(_binary_rom.dataspace()),
_config(_resources.ram.cap(), start_node),
_server(_resources.ram.cap()),