Thanks Sebastian, will do. As a first measure we have reduced the total number of memory mappings going on.
Thanks again, Daniel
On 07/18/2013 01:03 PM, Sebastian Sumpf wrote:
Hi Daniel,
Have a look at 'base-foc/contrib/kernel/fiasco/src/kern/config.cpp'. There is an enum value called 'kernel_mem_max' as well as constant called 'kernel_mem_per_cent'. Both should have an influence on how much memory the in kernel buddy allocator can use.
Greetings,
Sebastian