microkit icon indicating copy to clipboard operation
microkit copied to clipboard
verified publisher icon seL4

Complain at a microkit level of IRQ ACK is called on a non-irq channel

Open midnightveil opened this issue 1 year ago • 2 comments

Currently it's just a message from the kernel that it was invoked on a null cap which isn't obvious.

midnightveil avatar Jul 15 '24 04:07 midnightveil

This got me doing the tutorial as well, while logical when all facts are known, this did surprise at the beginning.

wucke13 avatar Aug 14 '24 14:08 wucke13

Similar happens when doing a ppcall into a server that does not have pp="true", you get a null-cap invocation error. As a bonus, microkit still returns the msginfo struct containing bogus information.

midnightveil avatar Aug 23 '24 02:08 midnightveil