[Barrelfish-users] Issue building new application -- Cannot create more caps in CNode
Kornilios Kourtis
kornilios.kourtis at inf.ethz.ch
Thu Apr 11 19:31:04 CEST 2013
On Thu, Apr 11, 2013 at 07:25:09PM +0200, Kornilios Kourtis wrote:
> [1]
> diff --git a/kernel/startup.c b/kernel/startup.c
> index bfa443d..2d3aeaa 100644
> --- a/kernel/startup.c
> +++ b/kernel/startup.c
> @@ -168,8 +168,12 @@ struct dcb *spawn_module(struct spawn_state *st,
>
> // Super cnode in root cnode
> st->supercn = caps_locate_slot(CNODE(&rootcn), ROOTCN_SLOT_SUPERCN);
> - err = caps_create_new(ObjType_CNode, alloc_phys(BASE_PAGE_SIZE),
> - BASE_PAGE_BITS, DEFAULT_CNODE_BITS, st->supercn);
> + const int supercn_bits = BASE_PAGE_BITS;
Actually, this is the same as before. I meant:
+ const int supercn_bits = BASE_PAGE_BITS + 1;
> + err = caps_create_new(ObjType_CNode,
> + alloc_phys(1UL<<supercn_bits),
> + supercn_bits,
> + supercn_bits - OBJBITS_CTE,
> + st->supercn);
> assert(err_is_ok(err));
cheers,
Kornilios.
--
Kornilios Kourtis
More information about the Barrelfish-users
mailing list