-
Notifications
You must be signed in to change notification settings - Fork 666
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.
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
vm fault on data at address 0 with status 0x5 #1213
Comments
my app:
|
Solved it. See Findmusllibc.cmake |
Glad you resolved your problem and thanks for telling others how you fixed it. However, like I said before, issues here should be about the seL4 kernel. Opening issues for user space problems encountered during development is not really appropriate. The exception is if you encounter problems with running unmodified sel4test or sel4bench, or if you suspect it is an actual kernel problem (e.g. it used to work but after an update it stopped working). |
Thank you for the note. I'll rememer that. |
I test sel4 on spike (riscv64). I link my app with libsel4 and sel4runtime.
And I get the error message:
The entry address is correct (10f46):
The text was updated successfully, but these errors were encountered: