-
Notifications
You must be signed in to change notification settings - Fork 656
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
Minor updates manual #1140
Minor updates manual #1140
Conversation
Regarding 6.4.1, there's a list of things to mention here #1083 (if you weren't aware of that issue already) :). |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Over all good improvement, I'll review the rest later.
Ignore the gitling error, we're going to squash all commits before merging anyway. |
c40159c
to
f0c0135
Compare
Signed-off-by: Birg <bbrcknl@github.com>
f0c0135
to
304c5c9
Compare
@Indanz Can you pls merge this branch? I don't have write access. |
Fix most TODOs in the seL4 manual.
Remaining TODOs: