core: preserve more memory

core needs to preserve more memory when built with -O0 for the 64-bit
'linux_x86' platform

Fixes #653.
This commit is contained in:
Christian Prochaska 2013-02-19 17:27:13 +01:00 committed by Norman Feske
parent b618c9343e
commit 519bed419d

View File

@ -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));