Cap index quota

[Norman Feske]

Hi Danial,

> I have a Ram_connection which is running out of cap indexes - "cap
> index allocation failed". How do I increase the quota for these? I
> understand I can construct my own cap session, but its not clear how
> to get the Ram_connection to use it. Context is Genode on
> Fiasco.OC/amd64.

the message refers to the name space of capability selectors (the IDs as
understood by the kernel) within a Genode process. The name space is
dimensioned statically via a template argument to the
'Cap_index_allocator_tpl' class template. For core, you find the
definition in 'base-foc/src/core/cap_session_component.cc':


https://github.com/genodelabs/genode/blob/staging/base-foc/src/core/cap_session_component.cc#L41-45

For all processes outside of core, the definition can is located in
'base-foc/src/base/env/cap_alloc.cc':


https://github.com/genodelabs/genode/blob/staging/base-foc/src/base/env/cap_alloc.cc#L16-20

The name space for core is dimensioned larger than for other processes
because core needs to keep track of all capabilities present in the
Genode system. Please give it a try to increase the dimensions of the
capability-selector name spaces.

Cheers
Norman

-- 
Dr.-Ing. Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth