Hi Travis, > [email protected]<mailto:[email protected]>:41 > Failed to get cap for irq > [email protected]<mailto:[email protected]>:316 Failed to > register an IRQ > Assertion failed: (cspace->bitmap[index / BITS_PER_WORD] & > BIT(index % BITS_PER_WORD)) == 0 > (/home/trickdev/cmakes-arm-vm/projects/seL4_libs/libsel4allocman/src/cspace/single_level.c: > _cspace_single_level_free: 100)
This was an issue recently fixed in this commit: https://github.com/SEL4PROJ/camkes-arm-vm/commit/3f2c4bd8cf5483d930af03a6a36d2ccf27e87c09 If you update your sources, the qemu-arm-virt application should be able to load Linux. Kent _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
