From 3c0517fe1f2c54626a8aa0898f06cdd419eba48b Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 1 Jul 2015 21:09:27 +0200 Subject: [PATCH] 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. --- repos/os/include/init/child.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/include/init/child.h b/repos/os/include/init/child.h index 1edcb959f..dc83b3788 100644 --- a/repos/os/include/init/child.h +++ b/repos/os/include/init/child.h @@ -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()),