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

Should the manual document seL4_GetMR/seL4_SetMR? #1100

Open
Ivan-Velickovic opened this issue Sep 4, 2023 · 1 comment
Open

Should the manual document seL4_GetMR/seL4_SetMR? #1100

Ivan-Velickovic opened this issue Sep 4, 2023 · 1 comment
Labels
docs Manual and other documentation

Comments

@Ivan-Velickovic
Copy link
Contributor

The libsel4 seL4_GetMR and seL4_SetMR wrappers over accessing the IPC buffer are not documented in the manual.

I can understand not wanting to couple the manual to libsel4 since it's just a wrapper over the actual system calls and hence not include these two functions. However, the manual is already coupled to libsel4.
@lsf37
Copy link
Member

lsf37 commented Sep 4, 2023

Yes, it's basically a libsel4 manual, I think it would make sense to include those functions.

@Ivan-Velickovic Ivan-Velickovic added the docs Manual and other documentation label Sep 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
docs Manual and other documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lsf37 @Ivan-Velickovic