Hi Travis, > sel4platsupport_copy_irq_cap@device.c<mailto:sel4platsupport_copy_irq_cap@device.c>:41 > Failed to get cap for irq > irq_register_common@irq.c<mailto:irq_register_common@irq.c>: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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
