diff --git a/repos/ports/src/noux/rm_session_component.h b/repos/ports/src/noux/rm_session_component.h index 0c8f5d511f..d607697ab3 100644 --- a/repos/ports/src/noux/rm_session_component.h +++ b/repos/ports/src/noux/rm_session_component.h @@ -22,6 +22,7 @@ /* Genode includes */ #include #include +#include namespace Noux { @@ -327,7 +328,9 @@ class Noux::Rm_session_component : public Rpc_object Pager_capability add_client(Thread_capability thread) { - return _rm.add_client(thread); + return retry( + [&] () { return _rm.add_client(thread); }, + [&] () { Genode::env()->parent()->upgrade(_rm, "ram_quota=8192"); }); } void remove_client(Pager_capability pager)