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()),