<div> </div>
<div>Hi</div>
<div>  is it any idea about following failure.</div>
<div> </div>
<div>qemu-system-arm -kernel arm/sbin/cpu.bin -nographic -no-reboot -m 256 -initrd arm/romfs.cpio</div>
<div> </div>
<div>Barrelfish CPU driver starting on ARMv5 Board id 0x00000113<br>The address of paging_map_kernel_section is 0xfff1d43c<br>Kernel ready.<br>init: invoked as: init 2097152<br>Spawning memory server (arm/sbin/mem_serv)...<br>
Spawning monitor (arm/sbin/monitor)...<br>monitor: invoked as: arm/sbin/monitor 6840320<br>RAM allocator initialised, 208 MB (of 224 MB) available<br>Spawning chips on core 0<br>Spawning ./arm/sbin/ramfsd on core 0<br>Spawning ./arm/sbin/spawnd on core 0<br>
ramfsd.0: pre-populating from boot image...<br>ramfsd.0: ready<br>spawnd: invoked on core 0 as: spawnd boot bootarm<br>Assertion failed on core 0 in ramfsd: 0 == (~KPI_PAGING_FLAGS_MASK &amp; (uintptr_t)flags), function vregion_flags_to_kpi_paging_flags, file ../lib/barrelfish/arch/arm/pmap_arch.c, line 76.<br>
Aborted<br>ERROR: monitor.0 in destroy_outgoing_cap() ../usr/monitor/queue.c:133<br>ERROR: cap_destroy failed<br>Failure: (  libbarrelfish) Error while deleting capability [LIB_ERR_WHILE_DELETING]<br>Failure: (         kernel) Capability not found (empty slot encountered) [SYS_ERR_CAP_NOT_FOUND]</div>

<div> </div>
<div>Regards</div>
<div>sroy<br></div>