Fiasco.OC Kernel memory running out (I think)
adam at os.inf.tu-dresden.de
Thu Jul 18 23:52:23 CEST 2013
On Wed Jul 17, 2013 at 16:20:45 -0700, Daniel Waddington wrote:
> 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->alloc(...) fails during the Mapping_tree::new
> operator creation of a Mapping_tree object in the Treemap::tree
> 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 os.inf.tu-dresden.de
More information about the l4-hackers