16 Apr
2020
16 Apr
'20
3:59 p.m.
Hi Travis,
sel4platsupport_copy_irq_cap@device.cmailto:sel4platsupport_copy_irq_cap@device.c:41 Failed to get cap for irq irq_register_common@irq.cmailto: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/3f2c4bd8cf5483d930af03a6a36... If you update your sources, the qemu-arm-virt application should be able to load Linux. Kent