diff --git a/repos/base-linux/src/base/env/platform_env.h b/repos/base-linux/src/base/env/platform_env.h index ca8f2ce3bd..089a7373bb 100644 --- a/repos/base-linux/src/base/env/platform_env.h +++ b/repos/base-linux/src/base/env/platform_env.h @@ -412,7 +412,7 @@ namespace Genode { * * See the comment of '_fallback_sig_cap()' in 'env/env.cc'. */ - constexpr static size_t _emergency_ram_size() { return 4*1024; } + constexpr static size_t _emergency_ram_size() { return 8*1024; } Ram_dataspace_capability _emergency_ram_ds; diff --git a/repos/base/src/base/env/platform_env.h b/repos/base/src/base/env/platform_env.h index 47178969b9..dcfa32ac93 100644 --- a/repos/base/src/base/env/platform_env.h +++ b/repos/base/src/base/env/platform_env.h @@ -97,7 +97,7 @@ class Genode::Platform_env : public Genode::Env, public Emergency_ram_reserve * * See the comment of '_fallback_sig_cap()' in 'env/env.cc'. */ - constexpr static size_t _emergency_ram_size() { return 4*1024; } + constexpr static size_t _emergency_ram_size() { return 8*1024; } Ram_dataspace_capability _emergency_ram_ds; public: diff --git a/repos/base/src/base/signal/signal.cc b/repos/base/src/base/signal/signal.cc index 567b2438a4..31ba96fef1 100644 --- a/repos/base/src/base/signal/signal.cc +++ b/repos/base/src/base/signal/signal.cc @@ -230,6 +230,7 @@ void Signal_context::submit(unsigned num) Signal_connection * Signal_transmitter::connection() { return signal_connection(); } + /********************* ** Signal receiver ** *********************/ diff --git a/repos/os/src/test/resource_request/main.cc b/repos/os/src/test/resource_request/main.cc index ade029d57d..d48645aeb1 100644 --- a/repos/os/src/test/resource_request/main.cc +++ b/repos/os/src/test/resource_request/main.cc @@ -67,6 +67,9 @@ int main(int argc, char **argv) * successively upgrade the session. At one point, we will run out of our * initial quota. Now, before we can issue another upgrade, we first need * to request additional resources. + * + * Note that the construction of the signal receiver will consume a part + * of the quota we preserved as 'KEEP_QUOTA'. */ printf("\n-- draining signal session --\n"); {