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 { + 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 { + 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 { + 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");