From 9d7270b174f37bbf026e28c76eef5f33235268d9 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 25 Jun 2014 18:12:45 +0200
Subject: [PATCH] os: Slave config with non-zero-terminated strings

---
 repos/os/include/os/slave.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/os/include/os/slave.h b/repos/os/include/os/slave.h
index 10191659a..5fb58297e 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 **