Merged
Conversation
Make the list of dependencies for building the microkit tool more complete. This list was created by making a minimal Debian stable chroot environment, and adding packages until the build worked. Signed-off-by: Peter Chubb <peter.chubb@unsw.edu.au>
Some trailing whitespace had crept in. Signed-off-by: Peter Chubb <peter.chubb@unsw.edu.au>
Remove aarch64-linux-gnu-gcc as a dependency; update aarch64-none-elf compiler version; remove note about pyoxidiser. Signed-off-by: Peter Chubb <peter.chubb@unsw.edu.au>
Ivan-Velickovic
force-pushed
the
dependencies
branch
from
ec5e954 to
14ed8cf
Compare
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Ivan-Velickovic
force-pushed
the
dependencies
branch
from
14ed8cf to
616f8ab
Compare
Signed-off-by: Ivan Velickovic <i.velickovic@unsw.edu.au>
Ivan-Velickovic
force-pushed
the
dependencies
branch
from
616f8ab to
246cd6e
Compare
Collaborator
Author
|
I've added instructions for building on macOS now that the SDK supports it. Thanks for the patches @wom-bat. |
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Mistakenly force-pushed which resulted in #102 getting automatically closed by GitHub. Re-opening with @wom-bat's changes as well as some of my own that I wanted to make in the same PR.
Closes #6