Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
midnightveil opened this issue Jul 15, 2024 · 2 comments
Open

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

midnightveil opened this issue Jul 15, 2024 · 2 comments

Comments

@midnightveil
Copy link
Contributor

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

wucke13 commented Aug 14, 2024

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

@midnightveil
Copy link
Contributor Author

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.

@Ivan-Velickovic Ivan-Velickovic mentioned this issue Oct 27, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@wucke13 @midnightveil