[Barrelfish-users] barrelfish help!

[Simon Peter]

Do you need to run fish? What's your menu.lst looking like?

On 14-11-17 08:18 AM, Antonio Barbalace wrote:
> I was able to print the cspace.
>
> > bomp_benchmark_cg 1
> cap_copy failed for src_slot = 20(0x40c24000), dest_slot = 
> 32(0x40c24000), spawn_vspace_slot = 22, new_slot_count = 12
> ...
> spawnd.0:     slot 4 caddr 0x40c24000 (20 bits) is a CNode cap (bits 
> 5, rights mask 0x1f)
> spawnd.0:       slot 0 caddr 0x40c24000 (25 bits) is a Frame cap 
> (0x82e00000:19)
> spawnd.0:       slot 1 caddr 0x40c24080 (25 bits) is a Frame cap 
> (0x82e80000:18)
> spawnd.0:       slot 2 caddr 0x40c24100 (25 bits) is a Frame cap 
> (0x82d70000:16)
> spawnd.0:       slot 3 caddr 0x40c24180 (25 bits) is a Frame cap 
> (0x82de0000:15)
> spawnd.0:       slot 4 caddr 0x40c24200 (25 bits) is a Frame cap 
> (0x825b9000:12)
> spawnd.0:       slot 5 caddr 0x40c24280 (25 bits) is a Frame cap 
> (0x82e00000:19)
> spawnd.0:       slot 6 caddr 0x40c24300 (25 bits) is a Frame cap 
> (0x82e80000:18)
> spawnd.0:       slot 7 caddr 0x40c24380 (25 bits) is a Frame cap 
> (0x82d70000:16)
> spawnd.0:       slot 8 caddr 0x40c24400 (25 bits) is a Frame cap 
> (0x82de0000:15)
> spawnd.0:       slot 9 caddr 0x40c24480 (25 bits) is a Frame cap 
> (0x825b9000:12)
> spawnd.0:       slot 10 caddr 0x40c24500 (25 bits) is a Frame cap 
> (0x94000000:25)
> spawnd.0:       slot 11 caddr 0x40c24580 (25 bits) is a Frame cap 
> (0x91000000:24)
> spawnd.0:       slot 12 caddr 0x40c24600 (25 bits) is a Frame cap 
> (0x92000000:23)
> spawnd.0:       slot 13 caddr 0x40c24680 (25 bits) is a Frame cap 
> (0x83800000:21)
> spawnd.0:       slot 14 caddr 0x40c24700 (25 bits) is a Frame cap 
> (0x83700000:20)
> spawnd.0:       slot 15 caddr 0x40c24780 (25 bits) is a Frame cap 
> (0x83a00000:19)
> spawnd.0:       slot 16 caddr 0x40c24800 (25 bits) is a Frame cap 
> (0x82ec0000:17)
> spawnd.0:       slot 17 caddr 0x40c24880 (25 bits) is a Frame cap 
> (0x82ee0000:16)
> spawnd.0:       slot 18 caddr 0x40c24900 (25 bits) is a Frame cap 
> (0x82de8000:15)
> spawnd.0:       slot 19 caddr 0x40c24980 (25 bits) is a Frame cap 
> (0x825e0000:14)
> spawnd.0:       slot 20 caddr 0x40c24a00 (25 bits) is a Frame cap 
> (0x825d0000:13)
> spawnd.0:       slot 21 caddr 0x40c24a80 (25 bits) is a Frame cap 
> (0x825be000:12)
> spawnd.0:       slot 22 caddr 0x40c24b00 (25 bits) is a Frame cap 
> (0x94000000:25)
> spawnd.0:       slot 23 caddr 0x40c24b80 (25 bits) is a Frame cap 
> (0x91000000:24)
> spawnd.0:       slot 24 caddr 0x40c24c00 (25 bits) is a Frame cap 
> (0x92000000:23)
> spawnd.0:       slot 25 caddr 0x40c24c80 (25 bits) is a Frame cap 
> (0x83800000:21)
> spawnd.0:       slot 26 caddr 0x40c24d00 (25 bits) is a Frame cap 
> (0x83700000:20)
> spawnd.0:       slot 27 caddr 0x40c24d80 (25 bits) is a Frame cap 
> (0x83a00000:19)
> spawnd.0:       slot 28 caddr 0x40c24e00 (25 bits) is a Frame cap 
> (0x82ec0000:17)
> spawnd.0:       slot 29 caddr 0x40c24e80 (25 bits) is a Frame cap 
> (0x82ee0000:16)
> spawnd.0:       slot 30 caddr 0x40c24f00 (25 bits) is a Frame cap 
> (0x82de8000:15)
> spawnd.0:       slot 31 caddr 0x40c24f80 (25 bits) is a Frame cap 
> (0x825e0000:14)
> spawnd.0:     slot 7 caddr 0x40c27000 (20 bits) is a CNode cap (bits 
> 10, rights mask 0x1f)
> ...
> ERROR: spawnd.0 in spawn_with_caps_handler() ../usr/spawnd/service.c:352
> ERROR: spawn
> Failure: (          spawn) Failure while loading [SPAWN_ERR_LOAD]
> Failure: (         libelf) Nested failure in allocator function 
> [ELF_ERR_ALLOCATE]
> Failure: (  libbarrelfish) Failure in cap_copy() [LIB_ERR_CAP_COPY]
> Failure: (         kernel) Destination capability slots occupied 
> [SYS_ERR_SLOT_IN_USE]
> bomp_benchmark_cg: error spawning: Failure while loading
> ERROR: fish.0 in execute_program() ../usr/fish/fish.c:102
> ERROR: Spawning Error
>
> ab
>
>