diff --git a/repos/os/src/server/nitpicker/domain_registry.h b/repos/os/src/server/nitpicker/domain_registry.h
index e49e7bcb98..15ab21da94 100644
--- a/repos/os/src/server/nitpicker/domain_registry.h
+++ b/repos/os/src/server/nitpicker/domain_registry.h
@@ -14,6 +14,8 @@
#ifndef _DOMAIN_REGISTRY_
#define _DOMAIN_REGISTRY_
+#include
+#include
#include
#include
diff --git a/repos/os/src/server/nitpicker/main.cc b/repos/os/src/server/nitpicker/main.cc
index 85e73aea62..7183d08eec 100644
--- a/repos/os/src/server/nitpicker/main.cc
+++ b/repos/os/src/server/nitpicker/main.cc
@@ -1103,8 +1103,8 @@ struct Nitpicker::Main
/*
* Sessions to the required external services
*/
- Framebuffer::Connection framebuffer;
- Input::Connection input;
+ Framebuffer::Connection framebuffer { env, Framebuffer::Mode() };
+ Input::Connection input { env };
Input::Event * const ev_buf = env.rm().attach(input.dataspace());
@@ -1122,17 +1122,18 @@ struct Nitpicker::Main
Framebuffer::Mode const mode = framebuffer.mode();
- Attached_dataspace fb_ds = { framebuffer.dataspace() };
+ Attached_dataspace fb_ds;
Screen screen = { fb_ds.local_addr(), Area(mode.width(), mode.height()) };
/**
* Constructor
*/
- Framebuffer_screen(Framebuffer::Session &fb) : framebuffer(fb) { }
+ Framebuffer_screen(Genode::Region_map &rm, Framebuffer::Session &fb)
+ : framebuffer(fb), fb_ds(rm, framebuffer.dataspace()) { }
};
- Genode::Reconstructible fb_screen = { framebuffer };
+ Genode::Reconstructible fb_screen = { env.rm(), framebuffer };
void handle_fb_mode();
@@ -1167,9 +1168,9 @@ struct Nitpicker::Main
*/
Genode::Sliced_heap sliced_heap { env.ram(), env.rm() };
- Genode::Reporter pointer_reporter = { "pointer" };
- Genode::Reporter hover_reporter = { "hover" };
- Genode::Reporter focus_reporter = { "focus" };
+ Genode::Reporter pointer_reporter = { env, "pointer" };
+ Genode::Reporter hover_reporter = { env, "hover" };
+ Genode::Reporter focus_reporter = { env, "focus" };
Genode::Attached_rom_dataspace config { env, "config" };
@@ -1198,7 +1199,7 @@ struct Nitpicker::Main
/*
* Dispatch input and redraw periodically
*/
- Timer::Connection timer;
+ Timer::Connection timer { env };
/**
* Counter that is incremented periodically
@@ -1380,7 +1381,7 @@ void Nitpicker::Main::handle_config()
void Nitpicker::Main::handle_fb_mode()
{
/* reconstruct framebuffer screen and menu bar */
- fb_screen.construct(framebuffer);
+ fb_screen.construct(env.rm(), framebuffer);
/* let the view stack use the new size */
user_state.size(Area(fb_screen->mode.width(), fb_screen->mode.height()));