diff --git a/repos/os/src/server/terminal_log/main.cc b/repos/os/src/server/terminal_log/main.cc index e1bc6c2799..dd3cb1a46b 100644 --- a/repos/os/src/server/terminal_log/main.cc +++ b/repos/os/src/server/terminal_log/main.cc @@ -102,14 +102,6 @@ namespace Genode { */ Termlog_component *_create_session(const char *args) override { - size_t ram_quota = - Arg_string::find_arg(args, "ram_quota" ).ulong_value(0); - - /* delete ram quota by the memory needed for the session */ - size_t session_size = max((size_t)4096, sizeof(Termlog_component)); - if (ram_quota < session_size) - throw Insufficient_ram_quota(); - char label_buf[Termlog_component::LABEL_LEN]; Arg label_arg = Arg_string::find_arg(args, "label");