diff --git a/os/src/app/cli_monitor/ram.h b/os/src/app/cli_monitor/ram.h index 725a8a8db..6140a9be2 100644 --- a/os/src/app/cli_monitor/ram.h +++ b/os/src/app/cli_monitor/ram.h @@ -30,6 +30,10 @@ class Ram { if (_ram.avail() < _preserve) Genode::Signal_transmitter(_yield_sigh).submit(); + + /* verify to answer outstanding resource requests too */ + if (_ram.avail() > _preserve) + Genode::Signal_transmitter(_resource_avail_sigh).submit(); } public: