diff --git a/run/pike_loader.run b/run/pike_loader.run
index e3b6d68..6084cd0 100644
--- a/run/pike_loader.run
+++ b/run/pike_loader.run
@@ -45,6 +45,7 @@ append config {
+
@@ -91,7 +92,7 @@ append config {
-
+
@@ -113,6 +114,7 @@ append config {
+
diff --git a/src/app/pike_loader/main.cc b/src/app/pike_loader/main.cc
index c295a73..757f0ba 100644
--- a/src/app/pike_loader/main.cc
+++ b/src/app/pike_loader/main.cc
@@ -40,8 +40,9 @@ struct Morse::Main
Input::Session_client &input = *nitpicker.input();
Genode::Reconstructible loader {
- env, env.ram().avail() - 4096 };
-
+ env,
+ Genode::Ram_quota{env.pd().avail_ram().value - 4096},
+ Genode::Cap_quota{env.pd().avail_caps().value - 4} };
/********************************
** State held between signals **
@@ -130,7 +131,10 @@ struct Morse::Main
Xml_node start_node = config_rom.xml().sub_node("start");
/* We are only patron of single load, so transfer the slack RAM */
- loader.construct(env, env.ram().avail() - 4096);
+ loader.construct(
+ env,
+ Genode::Ram_quota{env.pd().avail_ram().value - 4096},
+ Genode::Cap_quota{env.pd().avail_caps().value - 4});
try {
Xml_node config_xml = start_node.sub_node("config");