diff --git a/repos/base/include/root/component.h b/repos/base/include/root/component.h index 5885cec74..7ee2f797c 100644 --- a/repos/base/include/root/component.h +++ b/repos/base/include/root/component.h @@ -142,12 +142,8 @@ class Genode::Root_component : public Rpc_object >, size_t needed = sizeof(SESSION_TYPE) + md_alloc()->overhead(sizeof(SESSION_TYPE)); - if (needed > ram_quota.value) { - warning("insufficient ram quota " - "for ", SESSION_TYPE::service_name(), " session, " - "provided=", ram_quota, ", required=", needed); + if (needed > ram_quota.value) throw Insufficient_ram_quota(); - } Ram_quota const remaining_ram_quota { ram_quota.value - needed };