More docs fixes #100
Merged
More docs fixes #100
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Ivan-Velickovic
commented
Feb 13, 2024
Ivan-Velickovic
force-pushed
the
more_docs_fixes
branch
from
996fe88 to
0274890
Compare
The wording is a bit weird and probably unecessary. If someone does not follow the instructions, it will be pretty clear that they have not since the system will crash. Signed-off-by: Ivan Velickovic <[email protected]>
Signed-off-by: Ivan Velickovic <[email protected]>
System Description File (SDF) is better when referring to the system description of a Microkit system. It's easier to say SDF format than SDF file. Signed-off-by: Ivan Velickovic <[email protected]>
Signed-off-by: Ivan Velickovic <[email protected]>
There is little benefit to duplicating the information for each board supported in the README. Listing the supported boards is sufficient. Signed-off-by: Ivan Velickovic <[email protected]>
Ivan-Velickovic
force-pushed
the
more_docs_fixes
branch
from
0274890 to
a12e1f0
Compare
Signed-off-by: Ivan Velickovic <[email protected]>
Signed-off-by: Ivan Velickovic <[email protected]>
Signed-off-by: Ivan Velickovic <[email protected]>
Signed-off-by: Ivan Velickovic <[email protected]>
Ivan-Velickovic
force-pushed
the
more_docs_fixes
branch
from
7212250 to
2c283c5
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.