diff --git a/repos/base/src/core/main.cc b/repos/base/src/core/main.cc index 2d49c37d5..1c5edd14e 100644 --- a/repos/base/src/core/main.cc +++ b/repos/base/src/core/main.cc @@ -282,7 +282,7 @@ int main() /* transfer all left memory to init, but leave some memory left for core */ /* NOTE: exception objects thrown in core components are currently allocated on core's heap and not accounted by the component's meta data allocator */ - Genode::size_t init_quota = platform()->ram_alloc()->avail() - 172*1024; + Genode::size_t init_quota = platform()->ram_alloc()->avail() - 224*1024; env()->ram_session()->transfer_quota(init_ram_session_cap, init_quota); PDBG("transferred %zu MB to init", init_quota / (1024*1024));