diff --git a/repos/os/include/os/slave.h b/repos/os/include/os/slave.h index 10191659ac..5fb58297e1 100644 --- a/repos/os/include/os/slave.h +++ b/repos/os/include/os/slave.h @@ -97,6 +97,11 @@ namespace Genode { _config_policy.load(config, Genode::strlen(config) + 1); } + void configure(char const *config, size_t len) + { + _config_policy.load(config, len); + } + /**************************** ** Child_policy interface **