Genode Fiasco.OC kernel changes

Daniel Waddington waddy16925 at ...9...
Thu Jul 18 22:57:30 CEST 2013

Thanks Sebastian, will do.  As a first measure we have reduced the total 
number of memory mappings going on.

Thanks again,

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

More information about the users mailing list