-
Notifications
You must be signed in to change notification settings - Fork 52
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
Fixes and improvements to Raspberry Pi 4B documentation #203
Conversation
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
2d72a2b
to
3cc72a8
Compare
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.
Thanks for updating that!
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
3cc72a8
to
86156ad
Compare
Fixed the typos you pointed out, made a couple more minor fixes. |
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.
👍
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
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.
Nice work
This PR essentially makes the documentation up-to-date.
There's more improvements to do though, the Raspberry Pi is a common entry point for new users of seL4 and this documentation still assumes too much knowledge.