Genode Fiasco.OC kernel changes

[Daniel Waddington]

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
>