[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