From 519bed419dcb3c765aec7147d6b4b7139f8aae11 Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Tue, 19 Feb 2013 17:27:13 +0100 Subject: [PATCH] core: preserve more memory core needs to preserve more memory when built with -O0 for the 64-bit 'linux_x86' platform Fixes #653. --- base/src/core/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/base/src/core/main.cc b/base/src/core/main.cc index f584ca2219..3b08db8391 100644 --- a/base/src/core/main.cc +++ b/base/src/core/main.cc @@ -225,7 +225,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() - 136*1024; + Genode::size_t init_quota = platform()->ram_alloc()->avail() - 140*1024; env()->ram_session()->transfer_quota(init_ram_session_cap, init_quota); PDBG("transferred %zd MB to init", init_quota / (1024*1024));