Fiasco.OC Kernel memory running out (I think)

Adam Lackorzynski adam at
Thu Jul 18 23:52:23 CEST 2013

On Wed Jul 17, 2013 at 16:20:45 -0700, Daniel Waddington wrote:
> Hi,
> I'm using Fiasco.OC r56 on x86_64 (with Genode).  After doing quite
> a lot of memory mapping, mem_map finally fails.  It seems that the
> _allocators[0]->alloc(...) fails during the Mapping_tree::new
> operator creation of a Mapping_tree object in the Treemap::tree
> method.
> How can I increase the available kernel memory attached to this allocator?

For kernel memory, you could increase kernel_mem_max /
kernel_mem_per_cent in src/kern/config.cpp.

Adam                 adam at

More information about the l4-hackers mailing list