From 701bd3e95d77bee789e2764603924d2e74a40793 Mon Sep 17 00:00:00 2001
From: Johannes Schlatow <schlatow@ida.ing.tu-bs.de>
Date: Mon, 7 Aug 2017 19:02:23 +0200
Subject: [PATCH] remote_rom: update to 17.05

Ref #74
---
 run/remote_rom_backend_nic_ip.run        | 1 +
 run/remote_rom_backend_nic_ip_client.run | 1 +
 run/remote_rom_backend_nic_ip_server.run | 1 +
 src/proxy/remote_rom/client/main.cc      | 1 +
 src/proxy/remote_rom/server/main.cc      | 2 ++
 5 files changed, 6 insertions(+)

diff --git a/run/remote_rom_backend_nic_ip.run b/run/remote_rom_backend_nic_ip.run
index 91c54ea..6e26b92 100644
--- a/run/remote_rom_backend_nic_ip.run
+++ b/run/remote_rom_backend_nic_ip.run
@@ -33,6 +33,7 @@ install_config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Timer"/></provides>
diff --git a/run/remote_rom_backend_nic_ip_client.run b/run/remote_rom_backend_nic_ip_client.run
index d297029..507f27f 100644
--- a/run/remote_rom_backend_nic_ip_client.run
+++ b/run/remote_rom_backend_nic_ip_client.run
@@ -31,6 +31,7 @@ install_config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Timer"/></provides>
diff --git a/run/remote_rom_backend_nic_ip_server.run b/run/remote_rom_backend_nic_ip_server.run
index 85aeaf7..bb9b0f5 100644
--- a/run/remote_rom_backend_nic_ip_server.run
+++ b/run/remote_rom_backend_nic_ip_server.run
@@ -31,6 +31,7 @@ install_config {
 	<default-route>
 		<any-service> <parent/> <any-child/> </any-service>
 	</default-route>
+	<default caps="100" />
 	<start name="timer">
 		<resource name="RAM" quantum="1M"/>
 		<provides><service name="Timer"/></provides>
diff --git a/src/proxy/remote_rom/client/main.cc b/src/proxy/remote_rom/client/main.cc
index c3d2a5b..7b0036a 100644
--- a/src/proxy/remote_rom/client/main.cc
+++ b/src/proxy/remote_rom/client/main.cc
@@ -255,6 +255,7 @@ namespace Component {
 	Genode::size_t stack_size()    { return 2*1024*sizeof(long); }
 	void construct(Genode::Env &env)
 	{
+		env.exec_static_constructors();
 		static Remote_rom::Main main(env);
 	}
 }
diff --git a/src/proxy/remote_rom/server/main.cc b/src/proxy/remote_rom/server/main.cc
index 90bef18..b77d8bc 100644
--- a/src/proxy/remote_rom/server/main.cc
+++ b/src/proxy/remote_rom/server/main.cc
@@ -133,6 +133,8 @@ namespace Component {
 
 	void construct(Genode::Env &env)
 	{
+		env.exec_static_constructors();
+
 		Genode::Attached_rom_dataspace config = { env, "config" };
 		try {
 			Genode::Xml_node remote_rom = config.xml().sub_node("remote_rom");