diff --git a/repos/gems/include/gems/report_rom_slave.h b/repos/gems/include/gems/report_rom_slave.h index acdbec9c28..b364085345 100644 --- a/repos/gems/include/gems/report_rom_slave.h +++ b/repos/gems/include/gems/report_rom_slave.h @@ -45,7 +45,7 @@ class Report_rom_slave : public Genode::Noncopyable static Name _name() { return "report_rom"; } static Genode::Ram_quota _quota() { return { 1024*1024 }; } - static Genode::Cap_quota _caps() { return { 25 }; } + static Genode::Cap_quota _caps() { return { 75 }; } public: diff --git a/repos/gems/run/launcher.run b/repos/gems/run/launcher.run index 628d4a6089..b80a6cf71a 100644 --- a/repos/gems/run/launcher.run +++ b/repos/gems/run/launcher.run @@ -30,14 +30,14 @@ install_config { - + - + @@ -115,24 +115,22 @@ install_config { - - - - - - - - - - - - - - + + + + + + + + + + + + - + diff --git a/repos/gems/src/app/launcher/menu_view_slave.h b/repos/gems/src/app/launcher/menu_view_slave.h index d8fbbb27e5..8580983cc8 100644 --- a/repos/gems/src/app/launcher/menu_view_slave.h +++ b/repos/gems/src/app/launcher/menu_view_slave.h @@ -75,7 +75,7 @@ class Launcher::Menu_view_slave static Name _name() { return "menu_view"; } static Genode::Ram_quota _quota() { return { 6*1024*1024 }; } - static Genode::Cap_quota _caps() { return { 25 }; } + static Genode::Cap_quota _caps() { return { 100 }; } public: diff --git a/repos/gems/src/app/launcher/nit_fader_slave.h b/repos/gems/src/app/launcher/nit_fader_slave.h index 43600b6e78..51d5b94803 100644 --- a/repos/gems/src/app/launcher/nit_fader_slave.h +++ b/repos/gems/src/app/launcher/nit_fader_slave.h @@ -47,7 +47,7 @@ class Launcher::Nit_fader_slave static Name _name() { return "nit_fader"; } static Genode::Ram_quota _quota() { return { 2*1024*1024 }; } - static Genode::Cap_quota _caps() { return { 25 }; } + static Genode::Cap_quota _caps() { return { 50 }; } public: