From 82e35326b71b7c743e69dbf66e2cee581be173ee Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 8 Jan 2016 18:07:09 +0100 Subject: [PATCH] os: support different binary name for slaves Issue #1848 --- repos/os/include/os/slave.h | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/repos/os/include/os/slave.h b/repos/os/include/os/slave.h index 0d1bc765c..bdf9a6326 100644 --- a/repos/os/include/os/slave.h +++ b/repos/os/include/os/slave.h @@ -83,11 +83,12 @@ class Genode::Slave_policy : public Genode::Child_policy */ Slave_policy(const char *label, Genode::Rpc_entrypoint &entrypoint, - Genode::Ram_session *ram = 0) + Genode::Ram_session *ram = 0, + const char *binary = nullptr) : _label(label), _entrypoint(entrypoint), - _binary_rom(_label, _label), + _binary_rom(binary ? binary : _label, _label), _labeling_policy(_label), _binary_policy("binary", _binary_rom.dataspace(), &_entrypoint), _config_policy("config", _entrypoint, ram)